Skip to main content

César Rodríguez

Personal photo - César Rodríguez

Dr César Rodríguez

Research Assistant

Leaving date: 31st August 2014


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

See also my DBLP and Google Scholar Profile.


I am a post-doctoral research assistant at the Compuer Science Department of the University of Oxford. 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 previous webpage.

Selected Publications

View AllManage publications