Picture
JONNI VIRTEMA
Logician and Theoretical Computer Scientist

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.
You can find me at:
dblp, Google Scholar, Scopus, ORCID, ResearchGate.
Ongoing projects Publication metrics
  • 12 journal articles and 37 conference articles.
  • 619 citations, h-index 16 (Google Scholar).
  • 400 citations, h-index 12 (Scopus).
Presentations
  • 41 talks in conferences and workshops.
  • 18 talks in informal seminars.
Program committees
  • 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
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
  • MFCS 2023, LORI 2023, CADE 2021, LICS 2021, FoSSaCS 2021, ICALP 2020, IJCAR 2020, LORI 2019, LICS 2018, CSL 2018, STACS 2016, WoLLIC 2016.