Marjorie Russo
Contacts :
Address :
INRIA
,
Unité de Sophia-Antipolis
Projet OASIS
2004, route des Lucioles, B.P. 93,
06902 Sophia Antipolis, Cedex
FRANCE
e-mail:
mrusso@sophia.inria.fr
Education :
Quatrième année de thèse en informatique en 2000-2001 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 :
From Executable Formal Specification to Java Property Verification
Proceedings of Formal Techniques for Java Programs - An ECOOP'2000 Workshop
, Cannes, June 2000.
With I. Attali, D. Caromel and H. Nilsson
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 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
Since August, 26, 1998, you are my
th visitor.
Merci de votre visite !!!!