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

property specification languages: modal and temporal logics (CTL*, µ -calculi, etc.),
system specification languages: process algebras (CCS, pi-calculus, etc.), I/O automata, real programming languages such as Java and Erlang,
verification: both algorithmic and deductive model checking, compositional and inductive reasoning, model checking games, state space reduction techniques; development of verification tools.

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