I develop automated program analysis techniques for formal verification, bug finding, and test generation.
-
Cadence & University Paris 13, Sorbonne Paris Cité
- Oxford, UK
- http://lipn.univ-paris13.fr/~rodriguez/
Emanuele D'Osualdo
bordaigorl
I am a TT-Professor in Formal Methods at the Computer Science department of the University of Konstanz
University of Konstanz Konstanz, Germany