Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
K. Rustan M. Leino's homepage
[go: Go Back, main page]
Share this page
Videos
Projects
Publications
People
Downloads
  • Share this page on Twitter Share this page on Facebook Share this page on Digg Share this page on Del.icio.us
  • E-mail this page Print this page
  • RSS feeds
Home  >  RiSE  >  Rustan Leino
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.  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 new, January 2010
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