TouchDevelop: Cloud-based Scripting on and for Touch-based Devices
Nikolai Tillmann has been working at Microsoft Research since 2001. His main areas of research are program authoring on mobile devices, program analysis, testing, code optimization, and verification. He 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. Most recently, he started the TouchDevelop project, which enables writing of programs for mobile devices on mobile devices.