Short CV/Education and training

  • 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

  • Cut-free completeness for modal mu-calculus (with G.E. Leigh). Proceedings of LICS'17, 1-12. 2017.

  • Herbrand disjunctions, cut elimination and context-free tree grammars (with S. Hetzl and G.E. Leigh). Proceedings of TLCA'15. Vol. 38 of LIPIcs, 1-16. 2015.

  • On closure ordinals for the modal mu−calculus (with G.E. Leigh). Proceedings of CSL '13. Vol. 23 of LIPIcs, 30–44. 2013.

  • A note on the theory of positive induction‚ ID*1 (with M. Rathjen). Archive for Mathematical Logic. 49(2), 275–281. 2010.



Complete list of publications

Selected projects

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

Membership in scientific bodies/juries

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

  • Award Committee of the VCLA International Student Awards

  • Member of Association for Symbolic Logic

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.

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. Elisabeth André

    Information and Communication Technologies (ICTs)Human–computer interaction

  2. Prof. Dr. Susanne Albers

    Information and Communication Technologies (ICTs)Efficient algorithms

  3. Prof. Dr. Karin Baur

    Mathematics and statisticsAlgebra, Representation Theory

  4. Prof. Yolande Berbers

    Information and Communication Technologies (ICTs)Distributed systems