Portrait of Tahina Ramananandro

Tahina Ramananandro

Principal Research Software Development Engineer

About

I joined MSR RiSE (opens in new tab) in September 2016, working on the Everest (opens in new tab) project: verified implementations of TLS and derivatives, using and extending the F* (opens in new tab) higher-order, effectful, dependently typed programming language.

I am one of the main authors of the EverParse (opens in new tab) toolchain for formally verified binary data parsing and formatting.

My research interests span programming languages and formal methods, especially formal verification, language semantics, verified compilation.

See my external website (opens in new tab) for more information on my pre-MSR research and publications.