Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Rustan in Seattle
Contact info:
    Dr. K. Rustan M. Leino
    Microsoft Research
    One Microsoft Way
    Redmond, WA  98052
    USA
    contact
    Phone:  +1 425 707 8045
    Fax:  +1 425 936 7329
K. Rustan M. Leino [say what?!] is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research and Visiting Professor in the Department of Computing at Imperial College London.  His research interests include a focus on programming tools, both mental and mechanical.
Talks
Lectures and talks
Papers
Papers
Biography
Biography
Verification Corner
Verification Corner
Leino in press
In the press
Puzzles
Puzzles
Leino's miscellany
Leino's miscellany
Programming methodology
IFIP WG 2.3
Group pictures
Group pictures
Leino family
Family web site
Leino music
Music
 >  RiSE  >  Rustan Leino