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
- 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
They are available
here.
DarkSider
A
tool for computing anti-alignments in process models.
Projects and Working Groups
- The French ANR project DREAMY
,
the research group from the Île-de-France region on verification and
applications
