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/
Earned achievements
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading