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

Research in Software Engineering (RiSE)


Our mission is to make everyone a programmer and maximize the productivity of every programmer. This will democratize computing to empower every person and every organization to achieve more. We achieve our vision through open-ended fundamental research in programming languages, software engineering, and automated reasoning. We strongly believe in pushing our research to its logical extreme to positively impact people’s lives.


CS Education

Microsoft MakeCode, BBC micro:bit

Scholarly publications


Foundations of Correctness

Formal Methods

Ivy, Lean, Z3Symbolic Automata

Programming Languages

F*, Koka, P

Software Productivity

Debugging and Testing

Time travel debugging, automated test generation

Program Analysis

Corral, Duality, Angelic Verification, SymDiff

Empirical Software Engineering

Software Reliability, Software Process, Empirical Studies

Systems at Scale

Cloud Correctness

Network Verification

Working with Big Data

Parade, Tempe, Trill, Uncertainty

Use RiSE Tools

Connect on Facebook