#### Members of the logic group

Aapo Halko, Ph.D., descriptive set theory

Åsa Hirvonen, Ph.D., model theory of metric structures

Tapani Hyttinen, docent, model theory.

Juliette Kennedy, university lecturer, philosophy of mathematics, set theoretic model theory.

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

Vadim Kulikov, postdoc.

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

Jonni Virtema, postdoc.

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

#### Ph.D. students

Miguel Moreno, M.Sc.

Amir Oghbatalab, M.Sc.

#### Docents

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

Kerkko Luosto, university lecturer at University of Tampere

Juha Oikkonen, professor (teacher education)

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

#### Recent visitors and graduates

Gianluca Paolini, Ph.D.

Miika Hannula, 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.

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.