Sami Evangelista

I am a lecturer at Paris 13 University, member of the LIPN in the LCR (Logic, Computation and Reasoning) team, working more specifically in Specification and verification axis of this team.

Contact
Address Laboratoire d'Informatique de l'Université Paris Nord
Institut Galilée
Avenue J.B. Clément
93430 Villetaneuse
FRANCE
Phone [+33 1]/[01] 49 40 36 62 (LIPN)
[+33 1]/[01] 49 40 28 18 (IUT)
Email first-name.last-name at lipn.univ-paris13.fr

Research
My researchs deal with distributed systems, model checking, Petri nets, high level Petri nets.

Publications
Click here for a list of my publications. Most of these can be downloaded here.

Projects
Currently: Previously:

Valid XHTML
     1.0! Valid CSS!