Short CV/Education and training

  • Since 2019
    Assistant Professor and McGillavry Fellow, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands.

  • Since 2018
    Researcher, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Gothenburg, Sweden.

  • Since 2017
    Assistant Professor, Computer Science and Engineering Department, University of Gothenburg, Gothenburg, Sweden.

  • 2014 – 2017
    Postdoc. Researcher, Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Vienna, 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

  • 2017 – 2021 VR Starting Grant: Modal mu-calculus: A study in descriptive complexity.

Membership in scientific bodies/juries

  • 2020- Member of Association for Symbolic Logic Committee on Logic in Europe.

  • 2018 Member of The Proof Society Core Initiating Committee.

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

  • 2014 Award Committee of the VCLA International Student Awards.


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. Prof. Dr. Astrid Beckmann

    Mathematics and statistics, Physical sciences, Mathematics education

  2. Prof. Dr. Ilka Agricola

    Mathematics and statistics, Differential geometry and global analysis

  3. Prof. Anna Beliakova

    Mathematics and statistics, Topology and Categorification

  4. Dr. Annette Baudisch

    Biological and related sciences, Mathematics and statistics, Evolutionary biodemography

Academia Net