Short CV/Education and training

  • Since 2019
    MacGillavry Fellow, Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands

  • Since 2019
    Associate Professor, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Sweden

  • 2017 – 2018
    Assistant Professor, Computer Science and Engineering Department, University of Gothenburg, Sweden

  • 2014 – 2017
    Postdoc. Researcher, Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Austria

  • 2013 – 2014
    Lecturer and Director of Studies for Computer Science, Keble College, Oxford, UK

  • 2012 – 2013
    Postdoc. Researcher, Department of Computer Science, University of Oxford, UK

  • 2009 – 2012
    Postdoc. Researcher, School of Informatics, University of Edinburgh, UK

Selected publications

Selected projects

  • Project Grant: Cyclic Proofs for Modal and Higher-order Logic. Funded by the Dutch Research Council (NWO), 2021 – 2025

  • VR Starting Grant: Modal mu-calculus: A study in descriptive complexity. Funded by the Swedish Research Council (VR), 2017 – 2021

Membership in scientific bodies/juries

  • Swedish National Committee for Logic, Methodology and Philosophy, Royal Swedish Academy of Sciences (KVA), 2021 – 2023

  • Member of Association for Symbolic Logic Committee on Logic in Europe, since 2020

  • Member of The Proof Society Core Initiating Committee, 2018

  • Publicity Chair and member of the Executive Board of Kurt Gödel Society, 2016

  • Award Committee of the VCLA International Student Awards, 2014


You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here


  1. Read what our members say about AcademiaNet.

Follow us

No more excuses!

  1. Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.

Similar profiles

  1. Dr. Annette Baudisch

    Biological and related sciences, Mathematics and statistics, Evolutionary biodemography

  2. Prof. Dr. Karin Baur

    Mathematics and statistics, Algebra, Representation Theory

  3. Prof. Anna Beliakova

    Mathematics and statistics, Topology and Categorification

  4. Prof. Dr. Ilka Agricola

    Mathematics and statistics, Differential geometry and global analysis

Academia Net