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).
- Logical Structures in Computation, Fall 2016. Visiting Scientist.