Microsoft Research One Microsoft Way Building: Cedar Court 113/4172 Redmond, WA 98052-6399, USA Email : jhalleux at microsoft dot com Phone : +1 425 703-6917 Blog: blog.dotnetwiki.org

What I Do

Peli is working on Pex.

Brief bio

Peli joined the Foundations for Software Engineering in October 2006. Peli worked in the CLR as a SDET in charge of the Just In Time compiler (2004-2006). Before joining Microsoft, Peli earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004).

Old Personal Projects

• Creator of MbUnit, an extensible unit test framework for .Net that integrated features such as combinatorial testing.
• Reflector Addin's, a set of specialized modules for Reflector that range from type graph, code complexity, code review, treemap of types, statement graphs, an attempt at automatic test case generation from a method basic block graph, etc..
• Stuff, ranging from Ant Colony Optimization, autonomous behaviors, a framework for performance tests or an attempt at literate documentation in C#