Tahina Ramananandro
Scholar

Tahina Ramananandro

Google Scholar ID: 51QZQ8gAAAAJ
Microsoft Research
Programming languagesformal verificationcompilers
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,099
 
H-index
16
 
i10-index
18
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
  • Principal Research Software Development Engineer, Microsoft Research
  • EverParse project (2018–present)
  • Everest project (2016–2021)
  • CertiKOS project (2012–2016)
  • Verified compilation for C++ multiple inheritance (2008–2012)
Co-authors
0 total
Co-authors: 0 (list not available)