CEA Saclay Nano-INNOV
Institut CARNOT CEA LIST
DILS/LMEASI
Point Courrier 174
91191 Gif sur Yvette CEDEX, France
phone:
+33 01 69 08 65 00 (office)
Research
During my PhD I have worked on graph transformation, its categorical
foundations and partial order techniques that are used in the
verification of concurrent systems.
I am a Post-Doc at LMEASI (Eric Goubault) and work on geometric models of concurrency and their potential for improvements of standard analysis techniques of concurrent systems.
Publications at DBLP
Tobias.Heindel@cea.fr