Generate a tailored SOP for Dr. Jonni Virtema. Improve your application with a focused, well-structured draft.
Jonni Virtema is a Senior Lecturer in Foundational AI at the School of Computing Science, University of Glasgow, and a member of the Formal Analysis, Theory Algorithms research section. He joined the University of Glasgow in 2025 after serving as a Lecturer in Verification at the University of Sheffield from 2021 to 2025. Virtema has held several research positions in Hannover, Germany; Hasselt, Belgium; Helsinki, Finland; and Sapporo, Japan. Between 2019 and 2020, he was a JSPS Postdoctoral Fellow at the University of Hokkaido and from 2020 to 2024, he led a project funded by the Deutsche Forschungsgemeinschaft (DFG). He received his MSc in 2008 and PhD in 2014 in mathematics from the University of Tampere in Finland, and in 2020 was appointed Docent in Mathematical Logic at the University of Helsinki. His research interests originate in the fields of finite model theory, logic, and computer science, focusing on expressivity, complexity, logical formalisms, and their applications in database theory and verification. He has published extensively in reputable journals and conference proceedings, contributing significantly to topics like logical foundations of neural networks, computational complexity, and modal logics.