|
Resume (curriculum vitae) (PDF) |
Publications
Principal Research Software Development Engineer Research in Software Engineering (RiSE) Microsoft Research Redmond, Building 99, Office 2240 Corporate employee webpage |
Mailing address: Tahina Ramananandro Microsoft Corporation taramana 99/2240 1 Microsoft Way Redmond, WA 98052 USA Office phone: +1 (425) 421 7263 |
General-purpose
email: tahina(chez)ramananandro.org (replace (chez) with @)
Business-only email: taramana(chez)microsoft.com
LinkedIn profile: tahinaramana
GitHub
profiles: tahina-pro
(professional), gnuvan
(general-purpose)
Our ACM CCS 2025 paper, Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL and COSE, with myself, Gabriel Ebner, Guido Martínez and Nikhil Swamy, won the Distinguished Artifact Award!
Some Research Projects:
Personal homepage (FR)
This website is kindly hosted by The Association of ENS Alumni.