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

Partner Researcher

Portrait of Sebastian Burckhardt

Sebastian Burckhardt

Senior Principal Researcher

Portrait of Saikat Chakraborty

Saikat Chakraborty

Senior Researcher

Portrait of Shuo Chen

Shuo Chen

Senior Principal Researcher

Portrait of Gabriel Ebner

Gabriel Ebner

Research Software Engineer

Portrait of Sarah Fakhoury

Sarah Fakhoury

Postdoctoral Researcher

Portrait of Peli de Halleux

Peli de Halleux

Principal RSDE

Portrait of Cormac Herley

Cormac Herley

Principal Researcher

Portrait of Abhinav Jangda

Abhinav Jangda

Senior Researcher

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 Guido Martínez

Guido Martínez

Research Software Engineer II

Portrait of Angélica Moreira

Angélica Moreira

Research Software Engineer II

Portrait of Michal Moskal

Michal Moskal

Principal Research Software Development Engineer

Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

Portrait of Lev Nachmanson

Lev Nachmanson

Principal Research Software Development Engineer

Portrait of Tahina Ramananandro

Tahina Ramananandro

Principal Research Software Development Engineer

Portrait of Aashaka Shah

Aashaka Shah

Senior Researcher

Portrait of Nikhil Swamy

Nikhil Swamy

Senior Principal Researcher

Portrait of Jubi Taneja

Jubi Taneja

Research SDE

Portrait of Margus Veanes

Margus Veanes

Principal Researcher

Portrait of Ben Zorn

Ben Zorn

Partner Researcher