Nikolai Tillmann's Blog

Nikolai works at Microsoft Research on TouchDevelop, Pex, and Spur

Browse by Tags

Tagged Content List
  • Blog Post: Moving from Microsoft Research to DevDiv…

    I didn’t blog for more than a year, and many interesting things happened during that time! I moved from the Research in Software Engineering team (RiSE) in Microsoft Research to the Tools for Software Engineers (TSE) team in DevDiv to work on a new challenge. Here’s a summary of everything...
  • Blog Post: Introducing: Code Digger, an extension for VS2012

    Today, the Pex team at Microsoft Research ( Nikolai Tillmann and Peli de Halleux ) is happy to announce that Code Digger, an extension for Visual Studio 2012, has shipped to the Visual Studio Gallery. After shipping the Moles framework as Fakes in Visual Studio 2012 , this is the next step of bringing...
Page 1 of 1 (2 items)