I have moved to CEA LIST. My personal homepage is here.

Tobias HEINDEL

address:    LIPN - Laboratoire d'Informatique de Paris-Nord
UMR CNRS 7030
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse
room: A203
phone: +33 01 49 40 44 43 (office)
+33 1 48 26 07 12 (fax)

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. During my stay at Paris 13, working with Damiano Mazza, Ugo dal Lago, and Daniele Varacca, I explored the possibilities of an (implicit) complexity theory for interactive systems. This project is ongoing research. Right now I am employed at CEA LIST, working in the group LMEASI, which is lead by Eric Goubault. Publications at DBLP
Tobias.Heindel@gmail.com
Last modified: Wed Oct 13 00:32:18 CEST 2010