![](foto.jpg)
|
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).
|
|
|
|