Christoph Haase

Post-doctoral Researcher

About

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

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