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.

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 fully refereed publications. Also check check out my profile on Google scholar and DBLP containing some additional unrefereed papers.

Events

Please consider submitting to Reachability Problems 2015 (RP'15).

Teaching

Systèmes d'exploitation (Operating Systems) (Fall 2014).

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