I'm an assistant professor at Ecole Polytechnique and LIX.
My research focuses on formal verification and program analysis.
-
Ecole Polytechnique
- Paris
- http://www.sergiomover.eu/
Search results
0 open and 0 closed projects found.-
There aren't any projects yet