Julien Vanegue

Julien Vanegue is a member of the Microsoft Security Science team in Redmond where he performs practical static analysis and penetration testing. Shuvendu Lahiri is a researcher at Microsoft Research Redmond who is interested in symbolic verification of programs.