Registered user since Wed 17 Jun 2015
Rustan Leino is Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond and Visiting Professor in the Department of Computing at Imperial College London. He is known for his work on programming methods and program verification tools, and is a world leader in building automated program verification tools. These include the languages and tools Dafny, Chalice, Jennisys, Spec#, Boogie, Houdini, ESC/Java, and ESC/Modula-3.
|FTfJP 2015|| Automatic Verification of Dafny Programs with Traits|
Committee Member in Steering Committee within the FTfJP-track
|Show activities from other conferences|
View general profile