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. Dr. Ilka Agricola

    Mathematics and statisticsDifferential geometry and global analysis

  2. Prof. Dr. Christine Alewell

    Environment, Mathematics and statisticsbiogeochemistry, isotope geochemistry, soil science

  3. Dr. Sihem Amer-Yahia PhD

    Information and Communication Technologies (ICTs)Data Management Research

  4. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs)Distributed systems