Dr Jonni Virtema
School of Computer Science
Visiting Lecturer
Study Abroad / International Student Exchange Officer
Member of the Foundations of Computation research group
Full contact details
School of Computer Science
Regent Court (CS)
211 Portobello
Sheffield
S1 4DP
- Profile
-
Jonni is a Senior Lecturer in Foundational AI at the University of Glasgow, but prior to that he was a Lecturer in Verification in the School of Computer Science here in Sheffield. Before joining, in September 2021, he held research positions as a PI or a hired postdoc in a series of projects funded by the German Research Foundation (DFG), the Japan Society for the Promotion of Science (JSPS), the Research Foundation – Flanders (FWO), and the Academy of Finland (AKA).
Jonni received his MSc (2008) and PhD (2014) in mathematics from the University of Tampere, Finland. In 2020, he received the title of a Docent in Mathematical Logic from the University of Helsinki, Finland. His research interests originate from the general fields of finite model theory and logic in computer science. His research themes revolve around the interplay between expressivity and complexity of different logical formalisms, and in logical characterisations of complexity classes.
- Research interests
-
Dr Jonni Virtema's research interests include: finite model theory, logic in computer science, logics for dependence and independence, modal logics, logics for verification, logical foundations of neural networks, logical foundations of quantum information theory, computational complexity, and logics with team semantics.
- Publications
-
Show: Featured publications All publications
Featured publications
There has been a problem showing favourites. Please try again later.
All publications
There has been a problem showing this information. Please try again later.
- Grants
-
- Logical approach to quantum mechanics and contextuality, DFG, 09/2021 - 10/2024, £160,711, as PI
- LMS Travel (Computer Science Small Grants), London Mathematical Society, 10/2025, £1,000, as PI