CPP 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
co-located with POPL 2018
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