Jonni Virtema (Preferred)
Jonni Virtema
Associate Professor, School of Computing Science, University of Glasgow
Joined
February 2024
Names
Emails
****@sheffield.ac.uk (Confirmed)
****@glasgow.ac.uk (Confirmed)
Personal Links
Career & Education History
Associate Professor
School of Computing Science, University of Glasgow (glasgow.ac.uk)
2025 – Present
Assistant Professor
School of Computer Science, University of Sheffield (sheffield.ac.uk)
2021 – 2025
Principal Researcher
Instute for Theoretical Computer Science, Universität Hannover (uni-hannover.de)
2020 – 2021
Advisors, Relations & Conflicts
PhD Advisor
Lauri Hella
2008 – 2014
Expertise
logical foundations of neural networks
2022 – Present
temporal logics
2018 – Present
finite model theory
2011 – Present
logic in computer science
2011 – Present
logic and complexity theory
2011 – Present
Publications
Co-Authors
- Andreas Krebs
- Antti Kuusisto
- Arnaud Durand
- Arne Meier
- Axel-Cyrille Ngonga Ngomo
- Bernd Finkbeiner
- Christoph Ohrem
- Dimitri Surinx
- Fan Yang
- Fausto Barbero
- Flavio Ferrarotti
- Heribert Vollmer
- Jan Van den Bussche
- Jana Hofmann
- Jens Oliver Gutsfeld
- Jeremy Meyers
- Johannes Ebbing
- José Maria Turull Torres
- Juha Kontinen
- Juhana Laurinharju
- Jukka Suomela
- Julian-Steffen Müller
- Katsuhiko Sano
- Kerkko Luosto
- Laura Strieker