Senior Lecturer in Foundational AI at the University of Glasgow, UK.
- Docent of mathematical logic, University of Helsinki, Finland, 2020.
- PhD in mathematics, University of Tampere, Finland, 2014.
- MSc in mathematics, University of Tampere, Finland, 2008.
dblp, Google Scholar, Scopus, ORCID, ResearchGate.
Past projects
Current researchers:
- Huan Luo (PhD student, since February 2025).
- Max Sandström (PhD student at University of Helsinki, co-supervised with Juha Kontinen).
- Nina Pardal, 11/2022-10/2024.
Current post: Lecturer, University of Edinburgh. - Fausto Barbero, 04-08/2022.
Current post: Academy Research Fellow, University of Helsinki.
- Timon Barlag, (Visiting Research Student 04-09/2023), graduated 2025. Thesis: Parallel Computation with Algebraic Structures A Circuitous Route. Current post: Postdoc, University of Hanover.
- Yasir Mahmood, (second supervisor in Hanover), graduated 2022.
Thesis: Parameterized Aspects of Team-Based Formalisms and Logical Inference. Current post: Postdoc, University of Paderborn.
Current position
- Senior Lecturer in Foundational AI at the University of Glasgow (since 2025).
- Lecturer in Verification at the University of Sheffield (2021-2025).
- University Researcher at the University of Helsinki (Autumn 2022).
- Postdoc PI at Leibniz Universität Hannover (2020-2021).
- JSPS Postdoc Fellow at Hokkaido University (2019-2020).
- Postdoc at Hasselt University (2017-2019).
- Postdoc at the University of Helsinki (2016-2017).
- Postdoc PI at Leibniz Universität Hannover (2015).
- Postdoc PI at Japan Advanced Institute of Science and Technology (2014).
Program committees
- Annual Conference on Neural Information Processing Systems, NeurIPS (2025, 2024).
- Asian Workshop on Philosophical Logic, AWPL (2024).
- EACSL Annual Conference on Computer Science Logic, CSL (2027).
- European Summer School in Logic, Language and Information, ESSLLI (2026).
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Track B), FSTTCS (2022).
- International Conference on Database Theory, ICDT (2027).
- International Conference on Learning Representations, ICLR (2025).
- International Conference on Machine Learning, ICML (2025).
- International Conference on Principles of Knowledge Representation and Reasoning, KR (2026, 2025, 2024).
- International Symposium on Foundations of Information and Knowledge Systems, FoIKS(co-chair 2026, 2020, 2018).
- Workshop on Logics of Dependence and Independence, LODE (2021, 2020).
Organising committees
- Dagstuhl Seminar: Deep Learning on Structured Data: Expressivity, Generalization, and Convergence, Germany, November 22-27, 2026.
- Dagstuhl Seminar: Logics for Dependence and Independence: Expressivity and Complexity, Germany, March 10-15, 2024.
- 13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, April 8-11 2024, Sheffield, UK, (local chair).
- 30 Years of Finite Model Theory in Finland, August 21-23 2022, Helsinki, Finland.
- Horizons of Logic, Computation and Definability: Symposium in Honour of Lauri Hella's 60th birthday, Tampere, Finland, July 4-6, 2018.
- 9th Scandinavian Logic Symposium, Tampere, Finland, August 25-27, 2014.
Reviewer for journals
- Journal of the ACM
- ACM Transactions on Computational Logic
- Annals of Pure and Applied Logic
- Journal of Logic and Computation
- Journal of Logic, Language and Information
- Logic Journal of the IGPL
- Theoretical Computer Science
External reviewer in conferences
- LICS 2026, CSL 2026, MFCS 2024, CSL 2024, MFCS 2023, LORI 2023, CADE 2021, LICS 2021, FoSSaCS 2021, ICALP 2020, IJCAR 2020, LORI 2019, LICS 2018, CSL 2018, STACS 2016, WoLLIC 2016.