Scholar
Tahina Ramananandro
Google Scholar ID: 51QZQ8gAAAAJ
Microsoft Research
Citations & Impact
Citations
1,099
H-index
16
i10-index
18
Publications
20
Co-authors
0
Resume
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)