Dr Jonni Virtema

Department of Computer Science

Lecturer in Verification

Member of the Foundations of Computation research group

Head and shoulders shot of Dr Jonni Virtema
Profile picture of Head and shoulders shot of Dr Jonni Virtema
J.T.Virtema@sheffield.ac.uk

Full contact details

Dr Jonni Virtema
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
Profile

Jonni is a Lecturer in Verification at the Department of Computer Science. Before joining, in September 2021, he held research positions as a PI or a hired postdoc in a series of projects funded by the German Research Foundation (DFG), the Japan Society for the Promotion of Science (JSPS), the Research Foundation – Flanders (FWO), and the Academy of Finland (AKA).

Jonni received his MSc (2008) and PhD (2014) in mathematics from the University of Tampere, Finland. In 2020, he received the title of a Docent in Mathematical Logic from the University of Helsinki, Finland. His research interests originate from the general fields of finite model theory and logic in computer science. His research themes revolve around the interplay between expressivity and complexity of different logical formalisms, and in logical characterisations of complexity classes.

Research interests

Dr Jonni Virtema's 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 logics with team semantics.

Publications

Show: Featured publications All publications

Journal articles

Conference proceedings papers

All publications

Journal articles

Conference proceedings papers

Preprints

  • Barlag T, Holzapfel V, Strieker L, Virtema J & Vollmer H (2024) Graph Neural Networks and Arithmetic Circuits. RIS download Bibtex download
  • Mahmood Y, Virtema J, Barlag T & Ngomo A-CN (2023) Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. RIS download Bibtex download
  • Pardal N & Virtema J (2023) A fine-grained framework for database repairs. RIS download Bibtex download
  • Hannula M, Hirvonen M, Kontinen J, Mahmood Y, Meier A & Virtema J (2023) Logics with probabilistic team semantics and the Boolean negation. RIS download Bibtex download
  • Hankala T, Hannula M, Kontinen J & Virtema J (2023) Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. RIS download Bibtex download
  • Kontinen J, Sandström M & Virtema J (2023) Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. RIS download Bibtex download
  • Barbero F & Virtema J (2023) Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. RIS download Bibtex download
  • Barbero F & Virtema J (2023) Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. RIS download Bibtex download
  • Barlag T, Hannula M, Kontinen J, Pardal N & Virtema J (2023) Unified Foundations of Team Semantics via Semirings. RIS download Bibtex download
  • Gutsfeld JO, Meier A, Ohrem C & Virtema J (2021) Temporal Team Semantics Revisited. RIS download Bibtex download
  • Hannula M & Virtema J (2020) Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. RIS download Bibtex download
  • Virtema J, Hofmann J, Finkbeiner B, Kontinen J & Yang F (2020) Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. RIS download Bibtex download
  • Hannula M, Kontinen J, Lück M & Virtema J (2020) On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. RIS download Bibtex download
  • Hannula M, Kontinen J, Bussche JVD & Virtema J (2020) Descriptive complexity of real computation and probabilistic independence logic. RIS download Bibtex download
  • Ferrarotti F, González S, Torres JMT, Bussche JVD & Virtema J (2019) Descriptive Complexity of Deterministic Polylogarithmic Time and Space. RIS download Bibtex download
  • Hannula M, Hirvonen Å, Kontinen J, Kulikov V & Virtema J (2018) Facets of Distribution Identities in Probabilistic Team Semantics. RIS download Bibtex download
  • Ferrarotti F, Bussche JVD & Virtema J (2018) Expressivity within second-order transitive-closure logic. RIS download Bibtex download
  • Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2018) Probabilistic team semantics. RIS download Bibtex download
  • Krebs A, Meier A, Virtema J & Zimmermann M (2017) Team Semantics for the Specification and Verification of Hyperproperties. RIS download Bibtex download
  • Hannula M, Kontinen J & Virtema J (2017) Polyteam Semantics. RIS download Bibtex download
  • Hella L, Kuusisto A, Meier A & Virtema J (2016) Model Checking and Validity in Propositional and Modal Inclusion Logics. RIS download Bibtex download
  • Sano K & Virtema J (2016) Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. RIS download Bibtex download
  • Durand A, Hannula M, Kontinen J, Meier A & Virtema J (2015) Approximation and Dependence via Multiteam Semantics. RIS download Bibtex download
  • Krebs A, Meier A & Virtema J (2015) A Team Based Variant of CTL. RIS download Bibtex download
  • Hannula M, Kontinen J, Virtema J & Vollmer H (2015) Complexity of Propositional Logics in Team Semantics. RIS download Bibtex download
  • Sano K & Virtema J (2015) Characterising Modal Definability of Team-Based Logics via the Universal Modality. RIS download Bibtex download
  • Kontinen J, Kuusisto A & Virtema J (2014) Decidability of predicate logics with team semantics. RIS download Bibtex download
  • Sano K & Virtema J (2014) Axiomatizing Propositional Dependence Logics. RIS download Bibtex download
  • Ebbing J, Hella L, Lohmann P & Virtema J (2014) Boolean Dependence Logic and Partially-Ordered Connectives. RIS download Bibtex download
  • Virtema J (2014) Complexity of validity for propositional dependence logics. RIS download Bibtex download
  • Hella L, Luosto K, Sano K & Virtema J (2014) The Expressive Power of Modal Dependence Logic. RIS download Bibtex download
  • Kuusisto A, Meyers J & Virtema J (2013) Undecidable First-Order Theories of Affine Geometries. RIS download Bibtex download
  • Kuusisto A, Meyers J & Virtema J (2012) Undecidable First-Order Theories of Affine Geometries. RIS download Bibtex download
  • 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. RIS download Bibtex download
  • Kontinen J, Kuusisto A, Lohmann P & Virtema J (2011) Complexity of two-variable Dependence Logic and IF-Logic. RIS download Bibtex download
Grants

Current Grants

Logical approach to quantum mechanics and contextuality, DFG, 09/2021 - 10/2020, £160,711, as PI