K. Rustan M. Leino   [say what?!]

K. Rustan M. Leino is a principal researcher in the Programming Languages and Methods group at Microsoft Research.  His research interests include a focus on programming tools, both mental and mechanical.

Lectures and talks	Papers	Biography
In the press	Puzzles	Leino's miscellany
Group pictures	Family web site	Music
IFIP WG 2.3

Contact info:
    Dr. K. Rustan M. Leino
    Microsoft Research
    One Microsoft Way
    Redmond, WA  98052
    USA
   
    Phone:  +1 425 707 8045
    Fax:  +1 425 936 7329

Programming Languages and Methods - Microsoft Research