People

Last modified by Åsa Hirvonen on 2025/01/27 11:25

Members of the logic group

Aapo Halko, Ph.D., descriptive set theory.

Miika Hannula, docent, university researcher, finite model theory, dependence logic.

Åsa Hirvonen, docent, senior university lecturer, model theory of metric structures.

Tapani Hyttinen, docent, university lecturer, model theory.

Ulla Karhumäki, postdoc, model theory.

Juliette Kennedy, Ph.D., philosophy of mathematics, set theoretic model theory.

Juha Kontinen, professor, finite model theory, dependence logic.

Miguel Moreno, postdoc.

Matti Pauna, Ph.D., using technology in mathematics education, non-wellfounded sets, set theory.

Jouko Väänänen, research director, professor, set theory, dependence logic, model theory, foundations of mathematics.

Ur Ya'ar, postdoc.

Ph.D. students

Teemu Hankala, MSc

Matilda Häggblom, MSc

Jonne Iso-Tuisku, MSc

Siiri Kivimäki, MSc

Otto Rajala, MSc

Jenna Räsänen, MSc

Tapio Saarinen, MSc

Max Sandström, MSc

Docents

Taneli Huuskonen (model theory, set theory, logic and analysis)

Meeri Kesälä, mathematician at Finnish Centre for Pensions

Jonathan Kirby, senior lecturer at University of East Anglia, UK

Antti Kuusisto, Academy research fellow at University of Tampere

Kerkko Luosto, university lecturer at University of Tampere

Juha Oikkonen, professor (teacher education)

Jonni Virtema, lecturer at University of Sheffield, UK

Vadim Weinstein (né Kulikov)
 

Recent visitors and graduates

Minna Hirvonen, PhD

Joni Puljujärvi, PhD

Aleksi Anttila

Davide Quadrellaro, PhD

Tuomas Hakoniemi, PhD

Miguel Moreno, Ph.D.

Jonni Virtema, postdoc.

Gianluca Paolini, Ph.D.

Kaisa Kangas, Ph.D.

Fan Yang, Ph.D.

Pietro Galliani, Ph.D., dependence logic

Daisuke Ikegami, Ph.D., postdoctoral researcher, set theory

Vadim Kulikov, Ph.D.

Boban Velickovic, Prof., set theory

Andrés Villaveces, Prof., frequent visitor

Agatha Walczak-Typke, postdoctoral fellow, model theory, set theory, and algebra.

Former members of the group can be found in the  list of Ph.Ds from the Logic Group.