Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
人员
Shraddha Barke
Senior Researcher
Nikolaj Bjørner
Partner Researcher
Sebastian Burckhardt
Senior Principal Researcher
Saikat Chakraborty
Senior Researcher
Shuo Chen
Senior Principal Researcher
Gabriel Ebner
Research Software Engineer
Sarah Fakhoury
Senior Researcher
Cormac Herley
Principal Researcher
Abhinav Jangda
Senior Researcher
Shuvendu Lahiri
Senior Principal Researcher
Daan Leijen
Senior Principal Researcher
Guido Martínez
Research Software Engineer II
Angelica Moreira
Research Software Engineer II
Madan Musuvathi
Partner Research Manager
Lev Nachmanson
Principal Research Software Development Engineer
Tahina Ramananandro
Principal Research Software Development Engineer
Aashaka Shah
Senior Researcher
Nikhil Swamy
Senior Principal Researcher
Margus Veanes
Principal Researcher
Ben Zorn
Partner Researcher
Peli de Halleux
Principal Research Software Engineer