Jonni Virtema

Lecturer, Department of Computer Science, University of Sheffield

  • Joined February 2024

Names

Jonni Virtema (Preferred)

Emails

****@sheffield.ac.uk (Confirmed)

Personal Links

Career & Education History

Lecturer
Department of Computer Science, University of Sheffield (sheffield.ac.uk)
2021 – Present
 
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