Tahina RAMANANANDRO
I am a French student at the Computer Science Department of the École normale supérieure in Paris, France, into which I was admitted in 2004 through exams.
Almost all of my web pages are in French. Though, you can read some English about my research interests.
You can contact me by mailing to the following address :
Tahina.Ramananandro( chez )normalesup.org
where you shall replace ( chez ) with the arobase @ (this is meant to trap spam bots).
Latest news in English
- 2007-12-11 : Mondex, an
electronic purse : specification and refinement checks with the Alloy
model-finding method
This paper related to my Mondex internship at MIT has just been published in FACJ (Formal Aspects of Computing journal). It is already available as an «Online First» article, but it will be officially released in Special issue 20.1 about the Mondex case study, in January 2008. The official version is available here at www.springer.com.