Christoph Haase

Post-doctoral Researcher

About

I am a post-doctoral researcher in the INFINI group at the LSV at ENS Cachan and a member of the VERICONISS project. Previously, I was part of the ANR ReacHard project. Click here for a short biography.

Teaching

In Fall 2014, together with Stefan Schwoon I'm teaching Systèmes d'exploitation (Operating Systems).

Research

Research interests

In the broadest sense, my research interests lie in the algorithmic verification of finite- and infinite-state systems and related subjects in theoretical computer science. Here is an incomplete list of topics I am interested in:

Publications

Click here for a list of my publications.

About LSV

Contact

Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-111
Phone
+33 (0)1 47 40 75 68
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
haase@lsv.ens-cachan.fr