Miika Hannula, Ph.D.




I am a post-doctoral researcher at the Department of Mathematics and Statistics of the University of Helsinki. My research interests are in logics in team semantics setting and their connections to database theory, modal logic, and computational complexity.

Recent: The public examination of my Ph.D. thesis, On Variants of Dependence Logic: Axiomatizability and Expressiveness (see https://helda.helsinki.fi/handle/10138/155051 for the introductory part), was held on June 29 at the main building of the University of Helsinki.



Papers


Talks



Visits



Activities



Teaching



Education

2015: Ph.D. in Mathematics, University of Helsinki. Thesis: On Variants of Dependence Logic: Axiomatizability and Expressiveness.
2011: M.Sc. in Mathematics, University of Helsinki. Thesis: ω₁-kategorisuuden absoluuttisuus.




Contact info

Address:    Department of Mathematics and Statistics (Room D126),
P.O.Box 68 (Gustaf Hällströmin katu 2b),
FIN-00014 Helsinki.
Tel:    +358-9-191 51350
Email:    miika.hannula@helsinki.fi