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

Similar profiles

  1. Dr. Maria Anisimova

    Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution

  2. Prof. Dr. Ilka Agricola

    Mathematics and statistics, Differential geometry and global analysis

  3. Prof. Anna Beliakova

    Mathematics and statistics, Topology and Categorification

  4. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs), Efficient algorithms

Academia Net