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 28 conference articles.
- 542 citations, h-index 15 (Google Scholar).
- 356 citations, h-index 12 (Scopus).
- 38 talks in conferences and workshops.
- 17 talks in informal seminars.
Former positions
- 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
- 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
- 13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, Sheffield, UK
- 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
- CADE 2021, LICS 2021, FoSSaCS 2021, ICALP 2020, IJCAR 2020, LORI 2019, LICS 2018, CSL 2018, STACS 2016, WoLLIC 2016.