Programming languages and software engineering research area
Return to Microsoft Research Lab – Redmond

Research in Software Engineering (RiSE)

People

Portrait of Thomas Ball

Thomas Ball

Partner Researcher

Portrait of Nikolaj Bjørner

Nikolaj Bjørner

Senior Principal Researcher

Portrait of Sebastian Burckhardt

Sebastian Burckhardt

Principal Researcher

Portrait of Peli de Halleux

Peli de Halleux

Principal RSDE

Portrait of Markus Kuppe

Markus Kuppe

Principal Research Software Development Engineer

Portrait of Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Portrait of Daan Leijen

Daan Leijen

Principal Researcher

Portrait of Saeed Maleki

Saeed Maleki

Principal Research SDE

Portrait of Mark Marron

Mark Marron

Principal RSDE

Portrait of Michal Moskal

Michal Moskal

Principal Research Software Development Engineer

Portrait of Leonardo de Moura

Leonardo de Moura

Senior Principal Researcher

Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

Portrait of Lev Nachmanson

Lev Nachmanson

Principal Research Software Development Engineer

Portrait of Jonathan Protzenko

Jonathan Protzenko

Principal Researcher

Portrait of Tahina Ramananandro

Tahina Ramananandro

Principal Research Software Development Engineer

Portrait of Olli Saarikivi

Olli Saarikivi

Senior Researcher

Portrait of Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher

Portrait of Margus Veanes

Margus Veanes

Principal Researcher

Portrait of Ben Zorn

Ben Zorn

Partner Researcher

Portrait of Meghan Cowan

Meghan Cowan

Research SDE 2