Dr Jonni Virtema
- Senior Lecturer in Foundational AI (Computing Science)
https://orcid.org/0000-0002-1582-3718Biography
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).
I received my MSc (2008) and PhD (2014) in mathematics from the University of Tampere, Finland. In 2020, I received the title of a Docent in Mathematical Logic from the University of Helsinki, Finland.
Research interests
My research interests originate from the general fields of finite model theory and logic in computer science. My research themes revolve around the interplay between expressivity and complexity of different logical formalisms, logical characterisations of complexity classes, and applications of logics in database theory, verication, and theory of neural networks.
My research interests include: finite model theory, logic in computer science, logics for dependence and independence, modal logics, logics for verification, logical foundations of neural networks, logical foundations of quantum information theory, computational complexity, and database theory.
Research groups
- Formal Analysis, Theory & Algorithms
Publications
Prior publications
Article
Phokion Kolaitis, Nina Pardal, Jonni Virtema, Jef Wijsen (2025) Rewriting Consistent Answers On Annotated Data Proceedings of the ACM on Management of Data Crossref. (doi: 10.1145/3725247)
Juha Kontinen, Max Sandström, Jonni Virtema (2025) Set semantics for asynchronous TeamLTL: Expressivity and complexity Information and Computation Crossref. (doi: 10.1016/j.ic.2025.105299)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema (2025) Logics with probabilistic team semantics and the Boolean negation Journal of Logic and Computation Crossref. (doi: 10.1093/logcom/exaf021)
Ferrarotti, F., González, S., Turull Torres, J.M., Van den Bussche, J., Virtema, J. (2021) Descriptive complexity of deterministic polylogarithmic time and space Journal of Computer and System Sciences Scopus - Elsevier. ISSN 10902724 00220000 (doi: 10.1016/j.jcss.2021.02.003)
(2019) Characterising modal definability of team-based logics via the universal modality Annals of Pure and Applied Logic Jonni Virtema. ISSN 0168-0072 (doi: 10.1016/j.apal.2019.04.009)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema (2019) Model checking and validity in propositional and modal inclusion logics Journal of Logic and Computation Crossref Metadata Search. ISSN 0955-792X (doi: 10.1093/logcom/exz008)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer (2018) Complexity of Propositional Logics in Team Semantic ACM Transactions on Computational Logic Crossref Metadata Search. ISSN 1529-3785 (doi: 10.1145/3157054)
Virtema, J. (2017) Complexity of validity for propositional dependence logics Information and Computation Scopus - Elsevier. (doi: 10.1016/j.ic.2016.07.008)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema (2016) On Quantified Propositional Logics and the Exponential Time Hierarchy Electronic Proceedings in Theoretical Computer Science Crossref Metadata Search. ISSN 2075-2180 (doi: 10.4204/eptcs.226.14)
Kontinen, J., Kuusisto, A., Lohmann, P., Virtema, J. (2014) Complexity of two-variable dependence logic and IF-logic Information and Computation Scopus - Elsevier. (doi: 10.1016/j.ic.2014.08.004)
Conference Proceedings
Kontinen, J., Sandström, M., Virtema, J. (2024) A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783031569395 ISSN 16113349 03029743 (doi: 10.1007/978-3-031-56940-1_15)
Mahmood, Y., Virtema, J., Barlag, T., Ngomo, A.-C.N. (2024) Computing Repairs Under Functional and Inclusion Dependencies via Argumentation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783031569395 ISSN 16113349 03029743 (doi: 10.1007/978-3-031-56940-1_2)
Barbero, F., Virtema, J. (2024) Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 9783959773102 ISSN 18688969 (doi: 10.4230/LIPIcs.CSL.2024.15)
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A., Virtema, J. (2023) Logics with Probabilistic Team Semantics and the Boolean Negation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783031436185 ISSN 16113349 03029743 (doi: 10.1007/978-3-031-43619-2_45)
Mahmood, Y., Virtema, J. (2023) Parameterized Complexity of Propositional Inclusion and Independence Logic Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783031397837 ISSN 16113349 03029743 (doi: 10.1007/978-3-031-39784-4_17)
Kontinen, J., Sandström, M., Virtema, J. (2023) Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 9783959772921 ISSN 18688969 (doi: 10.4230/LIPIcs.MFCS.2023.60)
Barbero, F., Virtema, J. (2023) Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783031436185 ISSN 16113349 03029743 (doi: 10.1007/978-3-031-43619-2_44)
Barlag, T., Hannula, M., Kontinen, J., Pardal, N., Virtema, J. (2023) Unified Foundations of Team Semantics via Semirings Proceedings of the International Conference on Knowledge Representation and Reasoning Scopus - Elsevier. ISBN 9781956792027 ISSN 23341033 23341025
Virtema, J., Hofmann, J., Finkbeiner, B., Kontinen, J., Yang, F. (2021) Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 9783959772150 ISSN 18688969 (doi: 10.4230/LIPIcs.FSTTCS.2021.52)
Hannula, M., Kontinen, J., Lück, M., Virtema, J. (2021) On the complexity of horn and krom fragments of second-order boolean logic Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 9783959771757 ISSN 18688969 (doi: 10.4230/LIPIcs.CSL.2021.27)
Hannula, M., Virtema, J. (2021) Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783030757748 ISSN 16113349 03029743 (doi: 10.1007/978-3-030-75775-5_18)
Hannula, M., Kontinen, J., Van Den Bussche, J., Virtema, J. (2020) Descriptive complexity of real computation and probabilistic independence logic ACM International Conference Proceeding Series Scopus - Elsevier. ISBN 9781450371049 (doi: 10.1145/3373718.3394773)
Surinx, D., Van den Bussche, J., Virtema, J. (2019) Fully Generic Queries: Open Problems and Some Partial Answers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783030320645 ISSN 16113349 03029743 (doi: 10.1007/978-3-030-32065-2_2)
Ferrarotti, F., Van Den Bussche, J., Virtema, J. (2018) Expressivity within second-order transitive-closure logic Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 18688969 (doi: 10.4230/LIPIcs.CSL.2018.22)
Krebs, A., Meier, A., Virtema, J., Zimmermann, M. (2018) Team semantics for the specification and verification of hyperproperties Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 18688969 (doi: 10.4230/LIPIcs.MFCS.2018.10)
Krebs, A., Meier, A., Virtema, J. (2016) A team based variant of CTL Proceedings of the International Workshop on Temporal Representation and Reasoning Scopus - Elsevier. (doi: 10.1109/TIME.2015.11)
Durand, A., Hannula, M., Kontinen, J., Meier, A., Virtema, J. (2016) Approximation and dependence via multiteam semantics Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783319300238 ISSN 16113349 03029743 (doi: 10.1007/978-3-319-30024-5_15)
Sano, K., Virtema, J. (2016) Characterizing relative frame definability in team semantics via the universal modality Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783662529201 ISSN 16113349 03029743 (doi: 10.1007/978-3-662-52921-8_24)
Kontinen, J., Kuusisto, A., Virtema, J. (2016) Decidability of predicate logics with team semantics Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. ISBN 18688969 (doi: 10.4230/LIPIcs.MFCS.2016.60)
Sano, K., Virtema, J. (2015) Axiomatizing propositional dependence logics Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. (doi: 10.4230/LIPIcs.CSL.2015.292)
Sano, K., Virtema, J. (2015) Characterizing frame definability in team semantics via the universal modality Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783662477083 ISSN 16113349 03029743 (doi: 10.1007/978-3-662-47709-0_11)
Hannula, M., Kontinen, J., Virtema, J., Vollmer, H. (2015) Complexity of propositional independence and inclusion logic Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783662480564 ISSN 16113349 03029743 (doi: 10.1007/978-3-662-48057-1_21)
Hella, L., Luosto, K., Sano, K., Virtema, J. (2014) The expressive power of modal dependence logic Advances in Modal Logic Scopus - Elsevier.
Ebbing, J., Hella, L., Lohmann, P., Virtema, J. (2013) Boolean dependence logic and partially-ordered connectives Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783642399916 ISSN 16113349 03029743 (doi: 10.1007/978-3-642-39992-3_12)
Ebbing, J., Hella, L., Meier, A., Müller, J.-S., Virtema, J., Vollmer, H. (2013) Extended modal dependence logic Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Scopus - Elsevier. ISBN 9783642399916 ISSN 16113349 03029743 (doi: 10.1007/978-3-642-39992-3_13)
Kuusisto, A., Meyers, J., Virtema, J. (2012) Undecidable first-order theories of affine geometries Leibniz International Proceedings in Informatics, LIPIcs Scopus - Elsevier. (doi: 10.4230/LIPIcs.CSL.2012.470)
Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J., Virtema, J. (2012) Weak models of distributed computing, with connections to modal logic Proceedings of the Annual ACM Symposium on Principles of Distributed Computing Scopus - Elsevier. (doi: 10.1145/2332432.2332466)
Other
Barlag, T., Holzapfel, V., Strieker, L., Virtema, J., Vollmer, H. (2024) Graph Neural Networks and Arithmetic Circuits arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2402.17805)
Fröhlich, N., Meier, A., Pardal, N., Virtema, J. (2023) A Logic-Based Framework for Database Repairs arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2306.15516)
Hankala, T., Hannula, M., Kontinen, J., Virtema, J. (2023) Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions arXiv Scopus - Elsevier. ISSN 23318422
Mahmood, Y., Virtema, J., Barlag, T., Ngomo, A.-C.N. (2023) Computing Repairs Under Functional and Inclusion Dependencies via Argumentation arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2312.01973)
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A., Virtema, J. (2023) Logics with probabilistic team semantics and the Boolean negation arXiv Scopus - Elsevier. ISSN 23318422
Mahmood, Y., Virtema, J. (2021) Parameterized Complexity of Propositional Inclusion and Independence Logic arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arxiv.2105.14887)
Gutsfeld, J.O., Meier, A., Ohrem, C., Virtema, J. (2021) Temporal Team Semantics Revisited arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arXiv.2110.12699)
Flavio Ferrarotti, Senén González, José María Turull Torres, Jan Van den Bussche, Jonni Virtema (2019) Descriptive Complexity of Deterministic Polylogarithmic Time Logic, Language, Information, and Computation Crossref Metadata Search. ISSN 0302-9743 (doi: 10.1007/978-3-662-59533-6_13)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema (2019) Facets of Distribution Identities in Probabilistic Team Semantics Logics in Artificial Intelligence Crossref Metadata Search. ISSN 0302-9743 (doi: 10.1007/978-3-030-19570-0_20)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema (2018) Probabilistic Team Semantics Foundations of Information and Knowledge Systems Crossref Metadata Search. ISBN 9783319900490 ISSN 0302-9743 (doi: 10.1007/978-3-319-90050-6_11)
Miika Hannula, Juha Kontinen, Jonni Virtema (2017) Polyteam Semantics Logical Foundations of Computer Science Crossref Metadata Search. ISBN 9783319720555 ISSN 0302-9743 (doi: 10.1007/978-3-319-72056-2_12)
Hannula, M., Kontinen, J., Virtema, J. (2017) Polyteam semantics ✶ arXiv Scopus - Elsevier. ISSN 23318422 (doi: 10.48550/arxiv.1704.02158)
Additional information
Find out more on my personal website.
