Dr Jonni Virtema

About

I am a Senior Lecturer in Foundational AI in the School of Computing Science at the University of Glasgow and a member of the Formal Analysis, Theory and Algorithms research section. Before joining the University of Glasgow in 2025, I was a Lecturer in Verfication at the University of Sheffield (2021-25). Before that I held a series of research postions in Hannover (DE), Hasselt (BE), Helsinki (FI), and Sapporo (JP). Between 2019-20, I was a JSPS Postdoctoral Fellow at the University of Hokkaido and between 2020-24 I lead a project funded by Deutsche Forschungsgemeinschaft (DFG).