Thomas Chatain

Associate Professor, ENS Paris-Saclay

Mail: thomas.chatainREMOVE@ens-paris-saclay.fr
Phone: +33 (0)1 81 87 00 00 54 48
Office: 3S57, ENS Paris-Saclay, bâtiment Nord  

Teaching

See my French web page.

Research

Research Interests

I am interested in formal methods for distributed and real-time systems; in particular

• true concurrency models (Petri nets, networks of automata...),
• partial order semantics, unfoldings,
• real-time models, in particular real-time semantics for models of concurrency,
• formal methods for bioinformatics,
• process mining.

Publications

• On DBLP.
• On HAL.
• Older publications are also available here.

DarkSider and da4py

A tool for computing anti-alignments in process models.

Projects and Working Groups

• The French ANR project DREAMY
• MeFoSyLoMa, the research group from the Île-de-France region on verification and applications