Angelic Verification

Systems work at MSR India covers a broad spectrum of areas ranging from program verification, programming languages and tools, distributed systems, networking and security. We are interested in both building real world systems and studying the principles behind how to…

RiSE coordinates Microsoft’s Research in Software Engineering in Redmond, USA. Our mission is to advance the state of the art in Software Engineering and to bring those advances to Microsoft’s businesses.