César Rodríguez

PhD Student, ENS Cachan

 

(I have moved to University of Paris 13, see my new page)

 

Between 2010 and October 2013 I was a PhD student in LSV (ENS Cachan) under the direction of Stefan Schwoon. I worked in verification of Petri nets with read arcs by means of their partial-order, or unfolding, semantics. Here you have my thesis manuscript.

 

Tools

Teaching

2012 / 2013

2011 / 2012

About LSV

Contact

César Rodríguez
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-107
Phone
+33 (0)1 47 40 75 65
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
cesar.rodriguez@lsv.ens-cachan.fr