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.

Contact

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

Testimonials

  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. Anna Beliakova

    Mathematics and statistics, Topology and Categorification

  2. Prof. Dr. Elisabeth André

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

  3. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs), Efficient algorithms

  4. Prof. Dr. Karin Baur

    Mathematics and statistics, Algebra, Representation Theory