software design group

Tahina Ramananandro is a French graduate student in Computer Science at the École Normale Supérieure in Paris. For his first year of the Master's Degree, he has been spending a 6-month internship at MIT within SDG until end August 2006, where he is working on writing and checking an Alloy specification of the Mondex electronic purse system, as a case study to evaluate Alloy's capabilities in comparison with other methods.

email:
Tahina.Ramananandro@ens.fr (permanent)
ramanana@mit.edu (until August 26th)

urls: http://www.eleves.ens.fr/home/ramanana (homepage in French)
http://www.eleves.ens.fr/home/ramanana/work/mondex (work on mondex)
http://www.gc6.clrc.ac.uk/gc6wiki/VerifiedSoftwareRepository (Mondex case study workshop)