Christoph Haase

Post-doctoral Researcher

• Selected Publications

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:

• Model checking of infinite-state systems such as Counter Automata and Timed Automata
• Formal software verification, in particular Separation Logic
• Decidable fragments of number theory
• Knowledge representation, in particular Description Logics

Publications

Click here for a list of my publications.

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique