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 28 conference articles.
  • 460 citations, h-index 14 (Google Scholar).
  • 324 citations, h-index 12 (Scopus).
Presentations
  • 37 talks in conferences and workshops.
  • 17 talks in informal seminars.
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
Reviewer for journals
  • ACM Transactions on Computational Logic
  • Annals of Pure and Applied Logic
  • Journal of Logic and Computation
  • Logic Journal of the IGPL
  • Theoretical Computer Science
External reviewer in conferences
  • CADE 2021, LICS 2021, FoSSaCS 2021, ICALP 2020, IJCAR 2020, LORI 2019, LICS 2018, CSL 2018, STACS 2016, WoLLIC 2016.