Short CV

Here's a brief biographical sketch:

• Born in 1973 in Heidelberg, Germany.
• 1992-1998: Studies of Computer Science in Karlsruhe, London and Berlin.
• 1998-2002: PhD Student and Research Associate at King's College London, working on several EPSRC-funded projects. Graduated in 2003 with a thesis on Modal Logics of Ordered Trees, written under the supervision of Dov Gabbay.
• 2002-2005: Research Associate and later Research Fellow at Imperial College London, working on the SOCS project on Computational Logic and Multiagent Systems, funded by the European Commission.
• Since 2005: Senior Scientist at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (tenured since 2006). Assistant Professor (UD) 2005-2011. Associate Professor (UHD) since 2011. During 2008-2012 also holder of an NWO Vidi personal grant.

A somewhat longer version of my CV is available as a PDF file (last updated in 2009).