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. Prof. Dr. Zeynep Akata

    Mathematics and statistics, Computer Vision and Machine Learning

  2. Prof. Dr. Ilka Agricola

    Mathematics and statistics, Differential geometry and global analysis

  3. Prof. Dr. Elisabeth André

    Information and Communication Technologies (ICTs), Human-computer interaction

  4. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs), Distributed systems

Academia Net