Scholar
Jonni Virtema
Google Scholar ID: 8FlfLRkAAAAJ
Lecturer, University of Sheffield, UK
Citations & Impact
Citations
497
H-index
13
i10-index
16
Publications
20
Co-authors
26
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Multiple papers accepted at top-tier conferences and journals, including NeurIPS 2024, PODS 2025, KR 2025, AAAI 2024, CSL 2024, MFCS 2023, JELIA 2023, WoLLIC 2023, FoIKS 2024, etc.
- Published in journals such as Acta Informatica, Journal of Logic and Computation, and Information and Computation
- Served on program committees of major conferences: NeurIPS 2024/2025, ICML 2025, ICLR 2025, KR 2024/2025, AWPL 2024, etc.
- Co-chair of the PC for FoIKS 2026; previously chaired the OC for FoIKS 2024
- Participated in and co-organized multiple Dagstuhl seminars, e.g., 'Logics for Dependence and Independence: Expressivity and Complexity', 'Logic and Neural Networks', 'Semirings in Databases, Automata, and Logic'
Research Experience
- Senior Lecturer in Foundational AI at the University of Glasgow, UK (starting November 2025)
- Lecturer in Verification at the University of Sheffield, UK (until October 2025)
- Supervising PhD students (e.g., Huan Luo joined as a PhD student in February 2025)
- Hosted postdoctoral researchers (e.g., Nina Pardal) and research assistants (e.g., Max Sandström, Timon Barlag)
- Visited the University of Helsinki in Autumn 2022
- Co-taught a course with Arne Meier at ESSLLI 2024
