Tahina RAMANANANDRO
Ingénieur de recherche chez Microsoft Research, dans l'équipe RiSE
Ancien post-doc à Yale, dans l'équipe FLINT.
Ancien élève de l'École normale supérieure (promotion 2004, Département d'Informatique).
Ancien stagiaire de recherche au MIT, dans l'équipe Software Design Group.
Contact : Tahina.Ramananandro( chez )normalesup.org (remplacer ( chez ) par l'arobase @)
Dernières mises à jour
- 2014-02-05 : End-to-End Verification of
Stack-Space Bounds for C Programs
Enfin, ma première publication à Yale, en collaboration avec Quentin Carbonneaux, Jan Hoffmann et Zhong Shao, acceptée à PLDI 2014. - Toutes les mises à jour du site depuis le 13 juin 2007
Que peut-on trouver sur ce site ?
- Qui suis-je ?
Où l'on trouvera aussi ma clé PGP (GPG). - Recherche
Études et activités de recherche : CV, stages, thèse... - Enseignement
Activités d'enseignement : TP de compilation à l'IFIPS - Vie de l'Ecole
ces pages décrivent en quoi je m'investis dans la vie de l'Ecole. Le Bassin aux Ernest est un des mythes de l'Ecole que j'entretiens volontiers (sans pour autant vouloir y passer...) On trouvera aussi des comptes-rendus de réunions à l'attention des élèves. - Loisirs
jeux, informatique, etc. sans rapport direct avec l'Ecole. - Album photos
Je couvre des événements divers, au sein de l'ENS ou même à l'extérieur. - Plan du site
Pour les surfeurs désorientés. - Historique du site
Toutes les mises à jour du site (hors pages générées automatiquement) depuis le 13 juin 2007. - Liens
une éventuelle porte de sortie...