Short CV/Education and training

  • 1992
    Propedeuse physics, University of Amsterdam, the Netherlands

  • 1995
    MSc mathematics, University of Amsterdam, the Netherlands

  • 2001
    PhD mathematics, University of Amsterdam, the Netherlands

  • 2001 – 2002
    Postdoc at the University of California, San Diego, US, with a stipendium from the Netherlands Organisation for Scientific Research

  • 2002 – 2004
    Marie Curie Fellow at the Technical University Vienna, Austria

  • 2004 – 2006
    Research assistant at the Technical University Vienna, Austria

  • 2006 – 2010
    Assistant professor at Utrecht University, the Netherlands

  • 2009
    Vidi grant from the Netherlands Organisation for Scientific Research

  • Since 2010
    Associate professor at Utrecht University, the Netherlands

Selected publications

Selected projects

  • Project "The power of constructive proofs" funded by the Netherlands Organisation for Scientific Research (NWO)

Membership in scientific bodies/juries

  • Managing editor of Mathematical Logic Quarterly

  • Editor of the Review of Symbolic Logic

  • Member of the Council of the Association of 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.

Follow us

Similar profiles

  1. Prof. Dr. Swanhild Bernstein

    Mathematics and statistics, Analysis

  2. Prof. Dr. Maria Blettner

    Health, Mathematics and statistics, Epidemiology and statistics

  3. Prof. Dr. Zeynep Akata

    Mathematics and statistics, Computer Vision and Machine Learning

  4. Dr. Annette Baudisch

    Biological and related sciences, Mathematics and statistics, Evolutionary biodemography

 
 
Academia Net