DotNed (.NET & VSTS UG NL) is very pleased to welkom Peli de Halleux again during his talk for DotNed.
The talk of Peli for DotNed (.NET & VSTS UG NL), will take place on Januari 19th, 2010 from 18:00 until 21:00 and will be hosted by Microsoft Nederland at Schiphol Rijk, thanks in advance.
During his talk, Peli will show the latest release of the tools from Microsoft Research.
This talk presents 3 innovative tools from Microsoft Research in collaboration with Visual Studio DevLabs related to software reliability and testing: Code Contracts, Pex and CHESS (all tools are available for evaluation through the DevLabs incubation site from Visual Studio).
The talk will give you a glimpse at those new technologies, along with coding demos.
- Research in Software Engineering
- Code Contracts
Bio of Peli:
Jonathan "Peli" de Halleux is actively working on Pex, an Automated Whitebox Testing tool for .NET at Microsot Research. Peli also collaborates with his colleagues from the CHESS and Code Contracts projects. On the side Peli also wrote MbUnit, an extensible unit test framework, many Reflector addins and other fun geek projects. Peli joined the Research in Software Engineering group in October 2006 where he has been working on Pex since then. Peli worked in the CLR as a tester in charge of the Just In Time compiler (2004-2006) and earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004).
Home page at MSR: http://research.microsoft.com/~jhalleux
Please visit our DotNed Event site for subscription to this exclusive event. We hope to meet you there.
MVP Team System # Architectuur
DotNed (.NET & VSTS UG NL)VSTS track owner.