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
|PLDI 2020||Committee Member in External Review Committee within the PLDI Research Papers-track|
|Show activities from other conferences|