Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
People
Ella Bounimova
SENIOR RSDE
Madan Musuvathi
SENIOR RESEARCHER
Margus Veanes
SENIOR RESEARCHER
Michal Moskal
RESEARCHER
Nikolai Tillmann
PRINCIPAL RSDE
Peli de Halleux
SENIOR RSDE
Rustan Leino
PRINCIPAL RESEARCHER
Shaz Qadeer
PRINCIPAL RESEARCHER
Shuvendu Lahiri
RESEARCHER
Tom Ball
RESEARCH MGR/ PRINCIPAL RES
Ben Livshits
RESEARCHER
Ben Zorn
RESEARCH MGR/ PRINCIPAL RES
Daan Leijen
RESEARCHER
Ethan Jackson
RESEARCHER
Francesco Logozzo
RESEARCHER
Herman Venter
PRINCIPAL RSDE
Leonardo de Moura
PRINCIPAL RESEARCHER
Lev Nachmanson
PRINCIPAL RSDE
Manuel Fahndrich
SENIOR RESEARCHER
Mike Barnett
PRINCIPAL RSDE
Nachi Nagappan
PRINCIPAL RESEARCHER
Nikolaj Bjorner
PRINCIPAL RESEARCHER
Patrice Godefroid
PRINCIPAL RESEARCHER
Sebastian Burckhardt
RESEARCHER
Sumit Gulwani
SENIOR RESEARCHER
Tom Zimmermann
RESEARCHER
Wolfram Schulte
RESEARCH MGR/ PRINCIPAL RES
Yuri Gurevich
PRINCIPAL RESEARCHER
Juan Chen
RESEARCHER
Christian Bird
RESEARCHER
Nikhil Swamy
RESEARCHER
Todd Mytkowicz
RSDE II
Kenneth McMillan
PRINCIPAL RESEARCHER
Kathryn S McKinley
PRINCIPAL RESEARCHER
Home
RiSE team members are organized in five working groups:
Compilers and Runtimes
Empirical Software Engineering
Formal Methods
Program Analysis
Programming Languages
Share
