Write a Blog >>
K. Rustan M. Leino

Registered user since Wed 17 Jun 2015

Name: K. Rustan M. Leino

Country: United States

Affiliation: Microsoft Research

Personal website: http://research.microsoft.com/en-us/um/people/leino/

Research interests: Programming languages, verification

POPL 2018 Activities

POPL 2018-profile
View general profile