Tenured research scientist (CRCN)
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 (France). From October 2015 to October 2016, I was employed as a postdoctoral researcher at the University of California Berkeley (USA). 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
Office: 2nd floor
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.