Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Tahina Ramananandro
Tahina Ramananandro

Registered user since Mon 1 May 2017

Name:Tahina Ramananandro
Country:United States
Affiliation:Microsoft Research, n.n.
Personal website: http://www.normalesup.org/~ramanana/
Research interests:Formal verification, proof assistants, semantics of programming languages, verified compilation

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile
OSZAR »