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
Last modified: Wed Oct 13 00:32:18 CEST 2010