|
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
|
|
| 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. |
|
|
|