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.
    •

    Le site suivant sur l'anneau Aller au hasard sur un site de l'anneau Pour voir la liste des cinq suites suivants de l'anneau La liste de tous les membres de l'anneau -en travaux- Comment rejoindre l'anneau ? Les Webmasters a l'origine de ce projet.

    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 !!!!