Thomas Chatain

Assistant professor, ENS Cachan

Teaching

For my teaching activities, see my French web page.

Research

I am a member of the MExICo group at LSV.

Research Interests

I am interested in formal methods for distributed and real-time systems; in particular Application domains are design, verification, control and supervision of real-time distributed systems.

Publications

They are available here.

DarkSider

A tool for computing anti-alignments in process models.

Projects and Working Groups

About LSV

Contact

Thomas Chatain
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
4e étage
Phone
+33 (0)1 47 40 75 61
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
thomas.chatain@lsv.ens-cachan.fr

Habilitation thesis

I defended my habilitation thesis on December 13, 2013. See here.