Gerardo Schneider
    Address: IRISA-INRIA
                   Campus Universitaire de Beaulieu
                   35042 Rennes cedex
                   France
    Telephone:     +33 2 99 84 74 04
    Mobile:      +46 (0)704 545 174
    Fax:           +33 2 99 84 71 71
    E-mail:       gerardo@irisa.fr
Research Interests
Concurrency, Verification of Real-Time and Hybrid Systems, Verification of Embedded Systems (in particular Smart Java Cards), Semantics, Process Algebra, Logics for Computer Science
Curriculum Vitae
Here you can find a short description of what I have been doing in the last years. For a more detailed cv see the gzipped postscript or the pdf file.

Publications
Click here to see a complete list of publications. You may see also a pdf version.
Tools
SPeeDI: Together with Gordon Pace, I have implemented a verification tool for Polygonal Differential Inclusions (SPDI). A short tool presentation can be found in the CAV 2002 paper.
Miscellaneous
  •   About the ESLAI (Escuela Superior Latino-Americana de Informática):
    • A short explanation about the School can be found in Frito's homepage: click here.
    • A very interesting article about the School has appeared at the SADIO Newspaper (in Spanish). See the html version or download the pdf version.
  •   Some links to my country, Uruguay (in Spanish):
  • Other links:
    • Argentina:
      • GARDEL : Argentinian server (in Spanish).
    • Brasil:
      • Welcome to Brazil: Meu Brasil by Sergio Koreisha (in English);
      • Virtual trip to Brazil(in English);
      • Porto Alegre: capital of  the "gaúcho" state of Rio Grande do Sul (in Portuguese and English);
      • Penduick FM: brazilians in Grenoble (in Portuguese);
      • Página do Gaúcho (in Portuguese).
  • About Tango:
    • Tango Tango: Grenoble's Tango Association (in French);
    • The top 100 Tango recordings (in English, Spanish and French);
    • Cybertango: Tango's websites (links to sites in Spanish, English and French).