nikolait

Personal Details

First Name: Nikolai
Last Name: Tillmann
Employer: Microsoft Research
Years Experience in Agile: None
Short Bio: Nikolai Tillmann is a Research Software Design Engineer in the Foundations of Software Engineering (FSE) group at Microsoft Research in Redmond, USA, where he has been since January 2001. Previously, he received a M.S. (“Diplom”) in Computer Science from the Technical University of Berlin in 2000. After working on modeling techniques and tools in the AsmL and Spec Explorer projects, his current research area is runtime verification and techniques for automatic test case generation.