Marjorie Russo
Contacts :
Address :
INRIA
,
Unité de Sophia-Antipolis
Projet CROAP
2004, route des Lucioles, B.P. 93,
06902 Sophia Antipolis, Cedex
FRANCE
e-mail:
mrusso@sophia.inria.fr
Education :
Deuxième année de thèse en informatique en 1998 sous la direction d'
Isabelle Attali
et de
Denis Caromel
Diplomée ingénieur
ESIL
en informatique (option
ES2I
) en 1997
D.E.A. en
"Mathématiques Discrètes et Fondements de l'Informatique"
en 1997
Sujets de recherche:
Sémantique formelle de Java
(English text)
Publications :
A Formal Executable Semantics for Java
Proceedings of Formal Underpinnings of Java - An OOPSLA'98 Workshop
, Vancouver, October 1998.
Vers une Sémantique Formelle de Java
Actes des journées du PRC/GDR de Programmation
, Novembre 1997.
Une sémantique formelle de Java
Soutenance de DEA
, Juin 1997.
Ma passion : le CHEVAL
Pour en savoir plus sur
mon cheval GITAN et moi
Pour en savoir plus sur le club ou vit Gitan
Les Poneys de Biot
Pour voir des images de
chevaux...
Liens équestres
Mailing-list CHEVAL :
Pour souscrire
Premier news-group equestre francophone fr.rec.sport.equitation :
Pour lire les messages
Mes chats
Ulysse et Tigrou
Ce
site
de l'Anneau Francophone des Amis des Animaux appartient à
Marjorie Russo
Page d'accueil et inscription
Since August, 26, 1998, you are my
th visitor.
Merci de votre visite !!!!