Lecturer in Verification at the University of Sheffield, 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.
Ongoing projects
Publication metrics
- 12 journal articles and 37 conference articles.
- 643 citations, h-index 16 (Google Scholar).
- 418 citations, h-index 13 (Scopus).
- 42 talks in conferences and workshops.
- 18 talks in informal seminars.
Current position
- Lecturer in Verification at the University of Sheffield (since 2021).
- 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
- 14th International Symposium on Foundations of Information and Knowledge Systems, FOIKS 2026, (co-chair).
- 6th Asian Workshop on Philosophical Logic AWPL 2024.
- 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Track B), FSTTCS 2022.
- Workshop on Logics of Dependence and Independence, LoDE 2021.
- 11th International Symposium on Foundations of Information and Knowledge Systems, FOIKS 2020.
- Workshop on Logics of Dependence and Independence, LoDE 2020.
- 10th International Symposium on Foundations of Information and Knowledge Systems, FOIKS 2018.
Organising committees
- 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 (x1)
- ACM Transactions on Computational Logic (x4)
- Annals of Pure and Applied Logic (x1)
- Journal of Logic and Computation (x1)
- Logic Journal of the IGPL (x1)
- Theoretical Computer Science (x1)
External reviewer in conferences
- 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.