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).

Contact Information

Address: Inria Bordeaux - Sud-Ouest, 200 avenue de la vieille tour, 33400 Talence cedex, France

Office: B236

Work phone: +33 5 24 57 41 24

Email: emmanuelle (dot) saillard (at) inria (dot) fr

Research Interests

Code analysis, Debugging, Verification, Static Analysis, Compilation, Optimization, Programming Languages.