Picture
JONNI VIRTEMA
Logician and Theoretical Computer Scientist

Lecturer in Verification at the University of Sheffield, UK.

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 logics with team semantics.

Please, find my publications below grouped into topics, and slides for some of my talks behind the above links.

You can find me at:
dblp, Google Scholar, Scopus, ORCID, ResearchGate.

Email: j.t.virtema@sheffield.ac.uk

Open Positions:

PhD Studentship - Logical Approach to Verification of Hyperproperties (details).

If you are interested in doing a PhD related to my research areas, please contact me directly by email. Several funding schemes exist for both home and overseas students around the year.

Upcoming Events:

Dagstuhl Seminar: Logics for Dependence and Independence: Expressivity and Complexity, March 2024.

13th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2024, April 2024, Sheffield, UK

Recent News

  • January 2024 — Papers this and that accepted to FoIKS 2024.
  • December 2023 — Paper accepted to AAAI 2024.
  • October 2023 — Paper accepted to CSL 2024.
  • October 2023 — Joined the PC of AWPL 2024.
  • October 2023 — MSc. Timon Barlag returned to Hannover.
  • July 2023 — Papers this and that accepted to JELIA 2023.
  • June 2023 — A paper accepted to MFCS 2023.
  • May 2023 — A paper accepted to KR 2023 and another to WoLLIC 2023.
  • April 2023 — MSc. Timon Barlag joins the group as a research associate.
  • March 2023 — MSc. Max Sandström joins the group as a teaching and research assistant.
  • November 2022 — Dr. Nina Pardal joins the group as a postdoctoral researcher.
  • September 2022 — Visiting the University of Helsinki for the Autumn.
  • September 2022 — Dr. Fausto Barbero leaves Sheffield to be an Academy of Finland Research Fellow at the University of Helsinki.
  • June 2022 — Chairing the OC of FoIKS 2024 to be organised in Sheffield.
  • June 2022 — Workshop Logical Approach to Neural Networks organised in Sheffield.
  • April 2022 — Paper accepted to LICS 2022.
  • April 2022 — Dr. Fausto Barbero joins the group as a postdoctoral researcher.
  • March 2022 — Joined the Track B PC of FSTTCS 2022.
  • February 2022 — Paper accepted to Annals of Pure and Applied Logic.
  • September 2021 — Paper accepted to FSTTCS 2021.
  • September 2021 — Started as a Lecturer in Verification at the University of Sheffield.

Neural Networks and Distributed Computing

  • Graph Neural Networks and Arithmetic Circuits
    (Joint work with T. Barlag, V. Holzapfel, L. Striker, and H. Vollmer.)
  • Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions (AAAI 2024)
    (Joint work with T. Hankala, M. Hannula, and J. Kontinen.)
  • Weak models of distributed computing, with connections to modal logic (DC 2015)
    Conference version in ACM PODC 2012.
    (Joint work with L. Hella, M. Järvisalo, A. Kuusisto, J. Laurinharju, T. Lempiäinen, K. Luosto, and J. Suomela.)

Theory of Databases and Knowledge Representation

  • Computing Repairs Under Functional and Inclusion Dependencies via Argumentation (FoIKS 2024)
    (Joint work with Y. Mahmood, T. Barlag, and A. Ngonga Ngomo.)
  • A logic-based framework for database repairs (arXiv 2023)
    (Joint work with Nicolas Fröhlich, Arne Meier, and N. Pardal.)
  • Unified Foundations of Team Semantics via Semirings (KR 2023)
    (Joint work with T. Barlag, M. Hannula, J. Kontinen, and N. Pardal.)
  • Fully Generic Queries: Open Problems and Some Partial Answers (MEDI 2019)
    (Joint work with D. Surinx and J. Van den Bussche.)

Probabilistic Logics and Metafinite Model Theory

  • Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals (CSL 2024)
    (Joint work with F. Barbero.)
  • Logics with probabilistic team semantics and the Boolean negation (JELIA 2023)
    (Joint work with Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, and Arne Meier.)
  • Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals (JELIA 2023)
    (Joint work with F. Barbero.)
  • Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals (APAL 2022)
    Conference version in JELIA 2021.
    (Joint work with M. Hannula.)
  • Descriptive complexity of real computation and probabilistic independence logic (LICS 2020, slides1, slides2, video)
    (Joint work with M. Hannula, J. Kontinen, and J. Van den Bussche.)
  • Facets of Distribution Identities in Probabilistic Team Semantics (JELIA 2019)
    (Joint work with M. Hannula, Å. Hirvonen, J. Kontinen, and V. Kulikov.)
  • Probabilistic Team Semantics (FOIKS 2018, slides1, slides2, slides3)
    (Joint work with A. Durand, M. Hannula, J. Kontinen, and A. Meier.)

Logics for Verification

  • A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL (FoIKS 2024)
    (Joint work with Juha Kontinen and Max Sandström.)
  • Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity (MFCS 2023)
    (Joint work with J. Kontinen and M. Sandström.)
  • Temporal Team Semantics Revisited (LICS 2022)
    (Joint work with J. Gutsfeld, A. Meier, and C. Ohrem.)
  • Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity (FSTTCS 2021, slides, video)
    (Joint work with B. Finkbeiner, J. Hofmann, J. Kontinen, and F. Yang.)
  • Team Semantics for the Specification and Verification of Hyperproperties (MFCS 2018, slides)
    (Joint work with A. Krebs, A. Meier, and M. Zimmermann.)
  • A Team Based Variant of CTL (TIME 2015)
    (Joint work with A. Krebs and A. Meier.)

Finite Model Theory

  • Descriptive Complexity of Deterministic Polylogarithmic Time and Space (JCSS 2021, slides)
    Conference version in WoLLIC 2019.
    (Joint work with F. Ferrarotti, S. Gonzalez, J.M. Turull Torres, and J. Van den Bussche.)
  • Expressivity within second-order transitive-closure logic (CSL 2018, slides1, slides2, slides3)
    (Joint work with F. Ferrarotti and J. Van den Bussche.)

Definability of Modal Logics

  • Semantic Characterizations of Intuitionistic Logic with the Universal Modality and Intuitionistic Inquisitive Logic
    (Joint work with K. Sano.)
  • Characterising Modal Definability of Team-Based Logics via the Universal Modality (APAL 2019, slides1, slides2)
    Conference versions in WoLLIC 2015 and 2016.
    (Joint work with K. Sano.)
  • The Expressive Power of Modal Dependence Logic (AIML 2014)
    (Joint work with L. Hella, K. Luosto, and K. Sano.)
  • Extended Modal Dependence Logic EMDL (WoLLIC 2013)
    (Joint work with J. Ebbing, L. Hella, A. Meier, J.S. Müller, and H. Vollmer.)

Complexity of Propositional and Modal Logics

  • Parameterised Complexity of Propositional Inclusion and Independence Logic (WoLLIC 2023)
    (Joint work with Y. Mahmood.)
  • Model checking and validity in propositional and modal inclusion logics (JLC 2019, slides)
    Conference version in MFCS 2017.
    (Joint work with L. Hella, A. Kuusisto, and A. Meier.)
  • Complexity of Propositional Logics in Team Semantics (ACM ToCL 2018, slides1, slides2)
    Conference version in MFCS 2015.
    (Joint work with M. Hannula, J. Kontinen, and H. Vollmer.)
  • Complexity of validity for propositional dependence logics (I&C 2017, slides)
    Conference version in GandALF 2014.

First-Order Team Semantics

  • Polyteam Semantics (JLC 2020, slides)
    Conference version in LFCS 2018.
    (Joint work with M. Hannula and J. Kontinen.)
  • Approximation and Dependence via Multiteam Semantics (AMAI 2018)
    Conference version in FoIKS 2016.
    (Joint work with A. Durand, M. Hannula, J. Kontinen, and A. Meier.)
  • Boolean Dependence Logic and Partially-Ordered Connectives (JCSS 2017)
    Conference version in WoLLIC 2013.
    (Joint work with J. Ebbing, L. Hella, and P. Lohmann.)
  • Decidability of predicate logics with team semantics (MFCS 2016, slides)
    (Joint work with J. Kontinen and A. Kuusisto.)
  • Complexity of two-variable Dependence Logic and IF-Logic (I&C 2014)
    Conference version in LICS 2011.
    (Joint work with J. Kontinen, A. Kuusisto, and P. Lohmann.)

Quantified Propositional Logics

  • On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic (CSL 2021, slides, video)
    (Joint work with M. Hannula, J. Kontinen, and M. Lück)
  • On quantified propositional logics and the exponential time hierarchy (GandALF 2016, slides)
    (Joint work with M. Hannula, J. Kontinen, and M. Lück)

Axiomatisations in Modal Team Semantics

  • Axiomatizing Propositional Dependence Logics (CSL 2015)
    (Joint work with K. Sano.)

Logical Foundations of Geometry

  • Undecidable First-Order Theories of Affine Geometries (LMCS 2013)
    Conference version in CSL 2012.
    (Joint work with A. Kuusisto and J. Meyers.)