Pascal Zimmer's Homepage



Welcome to my homepage.

Until August 2005, I have been working as a post-doc (assistant professor) in BRICS, in the Department of Computer Science of the University of Aarhus, Denmark.

From 2000 to 2004, I was a PhD student at INRIA Sophia Antipolis (Institut National de Recherche en Informatique et en Automatique), France, working as a member of the Mimosa project.

My PhD was defended on April 29th, 2004 !
The final version of my thesis is now available from the publications page.

Research interests: Programming languages and paradigms. Concurrent and mobile systems. Semantics. Type theory.

Fun and competitive interests: Al Zimmermann's programming contests, SPOJ-like contests and POTM.
I also ran a programming contest myself ! It was called Mousetrap.

How to reach me:
E-mail: Pascal.Zimmer@gmail.com
Web: http://www-sop.inria.fr/mimosa/Pascal.Zimmer/
Web: http://www.daimi.au.dk/~pzimmer/

Pascal Zimmer