Registered user since Mon 6 Jun 2016
Name: Nikolai Tillmann
Bio: I am a Principal in the RDSE group at Microsoft Research.
Research Interests: My main areas of research are program authoring on mobile devices, program analysis, testing, optimization, and verification.
Affiliation: Microsoft Research
Personal website: http://research.microsoft.com/en-us/people/nikolait/
View general profile