Keynote by Nikolai Tillmann (Microsoft Research)

Nikolai Tillmann is a Principal Development Lead at Microsoft, Redmond. His main areas of research are program authoring on mobile devices, program analysis, testing, optimization, and verification. At Microsoft Research, he started TouchDevelop, a cross-platform development environment which enables end-users to write programs for mobile devices on mobile devices; try it for yourself at www.touchdevelop.com. He also leads the Pex project, a framework for runtime verification and automatic test case generation for .NET applications based on parameterized unit testing and dynamic symbolic execution. Try out Pex on the web at www.pexforfun.com, or play a coding game based on the Pex engine at www.codehunt.com. Nikolai has a Dipl. Inf. in Computer Science from TU Berlin, Germany.