Christoph Sprenger's Home Page

[ Home | Publications | Curriculum Vitae | Links ]


Contact information


Projet Lemme
INRIA Sophia Antipolis

2004, route des Lucioles
BP 93 
06902 Sophia Antipolis

Tel.: +33 492 38 76 93 
Fax: +33 492 38 50 60

Email: christoph.sprenger@sophia.inria.fr


Recent CV

Ph.D., Swiss Federal Institute of Technology, Lausanne, Switzerland, September, 2000

From August 2001 until August 2002, I was working as a postdoc in the Code Verification Group at the Swedish Institute of Computer Science (SICS), supported by a Swiss European Fellowship from the Swiss National Science Foundation.

Since October 2002 I have a postdoc position in the Projet Lemme at INRIA Sophia Antipolis, supported by an ERCIM Fellowship (10/02-06/03) and by the Modocop project (07/03-09/03).
 

Research Interests

Specification and verification of reactive systems including Other, related areas of interest: fairness, process semantics, refinement of specifications, theorem proving in first- and higher-order logics and type theory (in particular, the Calculus of Inductive Constructions).
 

Last update: July 7, 2003 by chsp