Jonni Virtema

Associate Professor, School of Computing Science, University of Glasgow

Assistant Professor, School of Computer Science, University of Sheffield

  • Joined February 2024

Names

Jonni Virtema (Preferred)

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