Rustan Leino

Rustan Leino leino Rustan Leino

Biography

Niner since 2007

Rustan Leino is a designer of programming languages and program verification tools. He is a Principal Researcher at Microsoft Research.