Tenured research scientist (CR)
STORM team, Inria Bordeaux - Sud-Ouest
I joined the STORM team in October 1st, 2017 after one-year Postdoc position at Inria Grenoble in the CORSE team. From October 2015 to October 2016, I was employed as a postdoctoral reseracher at the University of California Berkeley (UCB). I was supervised by Professor Koushik Sen (UCB) and Costin Iancu (Lawrence Berkeley National Lab).
Address: Inria Bordeaux - Sud-Ouest, 200 avenue de la vieille tour, 33400 Talence cedex, France
Work phone: +33 5 24 57 41 24
Email: emmanuelle (dot) saillard (at) inria (dot) fr
Code analysis, Debugging, Verification, Static Analysis, Compilation, Optimization, Programming Languages.