Thomas Chatain

Assistant professor, ENS Paris-Saclay

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

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
ENS Paris-Saclay
LMF
Thomas Chatain
4, avenue des Sciences
CS 30008
91192 Gif-sur-Yvette, France
Office
3S57
Phone
+33 (0)1 81 87 54 48
E-Mail
thomas.chatain(at)lsv.fr