VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
K. Rustan M. Leino

Registered user since Wed 17 Jun 2015

Name:K. Rustan M. Leino
Bio:

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.

Affiliation:Microsoft Research
Research interests:Programming languages, verification

Contributions

VMCAI Session Chair of Welcome (part of VMCAI)
Co-chair in Program Committee
Committee Member in Program Chairs
Co-chair in Organizing Committee
Session Chair of Invited Talk II (part of VMCAI)
Show activities from other conferences

POPL 2016-profile
View general profile