Return to Microsoft Research Lab – Redmond
Research in Software Engineering (RiSE)
People
Thomas Ball
Partner Researcher
Nikolaj Bjørner
Senior Principal Researcher
Sebastian Burckhardt
Principal Researcher
Peli de Halleux
Principal RSDE
Markus Kuppe
Principal Research Software Development Engineer
Shuvendu Lahiri
Senior Principal Researcher
Daan Leijen
Principal Researcher
Saeed Maleki
Principal Research SDE
Mark Marron
Principal RSDE
Michal Moskal
Principal Research Software Development Engineer
Leonardo de Moura
Senior Principal Researcher
Madan Musuvathi
Partner Research Manager
Lev Nachmanson
Principal Research Software Development Engineer
Jonathan Protzenko
Principal Researcher
Tahina Ramananandro
Principal Research Software Development Engineer
Olli Saarikivi
Senior Researcher
Nikhil Swamy
Senior Principal Researcher
Margus Veanes
Principal Researcher
Ben Zorn
Partner Researcher
Meghan Cowan
Research SDE 2