Name:Tahina Ramananandro

Country:United States

Affiliation:Microsoft Research

Research interests:Formal verification, proof assistants, semantics of programming languages, verified compilation