Jouko Väänänen

Professor, University of Helsinki

Jouko Väänänen is a Professor of Mathematics and the Dean of the Faculty of Science of the University of Helsinki. He is also a Professor Emeritus of Mathematical Logic and Foundations of Mathematics of the University of Amsterdam. He works in several fields of logic, including set theory, model theory, computer science logic, and foundations of mathematics. His current work is best described in his two books, Dependence Logic (CUP 2007), and Models and Games (CUP 2011).

Program Visits

Logical Structures in Computation, Fall 2016, Visiting Scientist