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.

- Reasoning
about embedded dependencies using inclusion dependencies. To
appear in LPAR 2015.
Preprint in arXiv.

- Complexity of propositional independence and inclusion logic (with Juha Kontinen, Jonni Virtema, and Heribert Vollmer). Proceedings of MFCS 2015, Part I, pages 269-280, 2015. Extended version in arXiv.
- Hierarchies in independence and inclusion logic with strict semantics (with Juha Kontinen). Journal of Logic and Computation, 25(3): 879-897, 2015. Preprint in arXiv.
- Hierarchies in inclusion logic with lax semantics. Proceedings of ICLA 2015, pages 100-118, 2015. Preprint in arXiv.
- Axiomatizing first-order consequences in independence logic. Annals of Pure and Applied Logic, 166(1): 61-91, 2015. Preprint (revised) in arXiv.
- On independence atoms and keys (with Juha Kontinen and Sebastian Link). Proceedings of CIKM 2014, pages 1229-1238, 2014. Preprint in arXiv.
- A finite axiomatization of conditional independence and inclusion dependencies (with Juha Kontinen). Proceedings of FoIKS 2014, pages 211-229, 2014. Preprint in arXiv.
- Hierarchies in independence logic (with Pietro Galliani and Juha Kontinen). Proceedings of CSL 2013, pages 263-280, 2013. Preprint in arXiv.

- 9.10.2015: Complexity of propositional independence and inclusion logic, Finite Model Theory Seminar, University of Tampere, Finland.
- 9.9.2015: Complexity of propositional independence and inclusion logic, Logic Seminar, University of Helsinki, Finland.
- 26.6.2015: Axiomatizing dependencies in team semantics, Dagstuhl Seminar 15261, Wadern, Germany.
- 14.11.2014: On independence atoms and keys, Finite Model Theory Seminar, University of Tampere, Finland.
- 6.11.2014: On independence atoms and keys, CIKM 2014, Shanghai, China.
- 27.8.2014: Hierarchies in inclusion logic, Scandinavian Logic Symposium 2014, Tampere, Finland.
- 8.7.2014: Hierarchies in inclusion logic with lax semantics, EASLLC 2014, Beijing, China.
- 24.6.2014: A finite axiomatization of conditional independence and inclusion dependencies, University of Kiel, Germany.
- 6.3.2014: A finite axiomatization of conditional independence and inclusion dependencies, FoIKS 2014, Bordeaux, France.
- 5.3.2014: A finite axiomatization of conditional independence and inclusion dependencies, Academy Colloquium Dependence Logic, KNAW, Amsterdam, The Netherlands.
- 21.2.2014: Hierarchies in inclusion logic with lax semantics, Finite Model Theory Seminar, University of Helsinki, Finland.
- 7.11.2013: Dependence and independence, Students' Seminar, University of Helsinki, Finland.
- 6.11.2013: Hierarchies in inclusion logic, Logic Seminar, University of Helsinki, Finland.
- 3.9.2013: Hierarchies in independence logic, CSL 2013, Turin, Italy.
- 17.6.2013: Axiomatizing conditional independence and inclusion, Workshop on inquisitive logic and dependence logic, ILLC, Amsterdam, The Netherlands.
- 24.5.2013: Hierarchies in independence logic, Finite Model Theory Seminar, University of Tampere, Finland.
- 14.2.2013: Axiomatizing first-order consequences in independence logic, Dagstuhl Seminar 13071, Wadern, Germany.
- 16.1.2013: Deriving atomic consequences in dependence, independece and inclusion logic, Logic Seminar, University of Helsinki, Finland.
- 16.11.2012: Axiomatizing first-order consequences in independence logic, Finite Model Theory Seminar, University of Helsinki, Finland.

- 24-27.2.2015: University of Hannover, Germany.
- 23-27.6.2014: University of Kiel and University of Hannover, Germany.
- 17.1.-4.2.2014: University of Auckland, New Zealand.
- 1-5.12.2013: Paris Diderot University, France.

- European Summer Meeting of the Association for Symbolic Logic (Organizing Committee). August 2015, Helsinki, Finland.
- Scandinavian Summer School in Logic (Organizing Committee). August 2015, Helsinki, Finland.

- TA, Dependence logic, Spring 2014.
- TA, Matemaattinen logiikka, Fall 2013.

2011: M.Sc. in Mathematics, University of Helsinki. Thesis: ω₁-kategorisuuden absoluuttisuus.

P.O.Box 68 (Gustaf Hällströmin katu 2b),

FIN-00014 Helsinki.

Tel: +358-9-191 51350

Email:

`miika.hannula@helsinki.fi`