Dr. César Rodríguez
Assistant Professor
Université Paris 13, Sorbonne Paris Cité


Contact

Mail:
cesar.rodriguez@lipn.fr
Phone:
+33 1 49 40 28 05
Office:
A202, Institut Galilée
Address:
Laboratoire d’Informatique de Paris-Nord
99 avenue Jean-Baptiste Clément
93430 Villetaneuse
France

Biography

I am an associate professor (maître de conférences) at the University Paris 13, Sorbonne Paris Cité, working in the Specification and Verification team within LIPN.

Prior to my assignment, in september 2014, I was a research assistant at the Compuer Science Department of the University of Oxford, working at Daniel Kroening's team. In december 2013, I received my PhD from the École Normale Supérieure de Cachan (ENS Cachan), where I was a doctoral candidate at the Laboratoire Spécification et Vérification (LSV) under superivision of Stefan Schwoon. More details are available at my old webpage.

Research

Keywords: Formal verification, Concurrency, Partial-order semantics, Software verification, Bounded model checking, Petri nets

See my publications at my DBLP and Google Scholar Profile.

Teaching

2016 -- 2017:

2015 -- 2016:

2014 -- 2015: