![Nikolai Tillmann](https://conf.researchr.org/getProfileImage/nikolaitillmann/1c203e6c-e83f-41ff-a285-6026ce70d703/small.jpg?1711615058000)
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/
Contributions
SPLASH 2014-profile
View general profile
View general profile