Marjorie Russo



French Page (Version française)

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:

  • 2001-2002 ATER at the engineer school ESIL (teaching + research)
  • 2000-2001 ATER at the university of Nice - Sophia Antipolis (teaching + research)
  • 1997-2001 PhD thesis in computer science with Isabelle Attali and Denis Caromel
  • Engineer ESIL in computer science (option ES2I) in 1997
  • D.E.A. in "Mathématiques Discrètes et Fondements de l'Informatique" (Mathematics and Computer Science) in 1997
    •

    Research interests:

  • Formal Semantics of Java
  • Java Execution Environment
  • Java language and program Property Verification
    •

    Teaching Activities (current and past courses):

  • Soutenance des TE d'informatique théorique pour les étudiants de Licence informatique de l'UNSA.
  • Sujets de TE pour les étudiants de Licence informatique
  • TP Analyse et Compilation en Licence informatique
  • Cours et TP de Programmation logique en Prolog en Licence informatique
  • TD et TP d'Algorithmie en Java en Deug Mass 2
  • TP Centaur en DEA informatique (1998)

    • Recent Papers:

  • Java et ses Aspects Concurrents : Sémantique Formelle, Visualisation et Propriétés
    PhD thesis (sorry but it is only in French), July 2001.
  • Chapter 1 (introduction) and 2 (models and techniques)
  • Chapter 3 : the semantic specification
  • Chapter 4 : the visualization environment
  • Chapter 5 : Java properties
  • The end : conclusion and bibliography

  • Graphical Visualization of Java Objects, Threads, and Locks
    Isabelle Attali, Denis Caromel, and Marjorie Russo,
    IEEE DS Online, Volume 2, Number 1, January 2001. Local and printable copy

  • 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.
    with I. Attali and D. Caromel

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

    My passion : HORSES

  • To know more about my horse GITAN and me
  • To see pictures of beautiful horses...
  • Horsey links
  • There is a French Horsey mailing list : To subscribe
  • There is a Francophone Horsey news-group fr.rec.sport.equitation : To see it
  • Non horsey : a picture of my cats Ulysse and Tigrou


    • Ce site de l'Anneau Francophone des Amis des Animaux appartient à Marjorie Russo
     Page d'accueil et inscription




    Since January, 19, 1998, you are my    th   visitor.
    Thanks for visiting!

    Last modified: Fri Aug 17 10:30:16 MEST 2001