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
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
- ,
the research group from the Île-de-France region on verification and
applications