Gerardo Schneider
    Address: Department of Informatics
                   University of Oslo
                   P.O. Box 1080 Blindern
                   NO-0316 Oslo, NORWAY
    Telephone:     +47 22 85 29 71
    Mobile:      +47 41 08 22 77
    Fax:            +47 22 85 24 01
    E-mail:       gerardo at ifi.uio.no
Research Interests
Concurrency, Verification of Real-Time and Polygonal Hybrid Systems, Verification of Embedded Systems (in particular smart Java cards), Semantics, Logics for Computer Science, Security in Distributed Systems.
Curriculum Vitae
I am a researcher at the PMA (Precise Modeling and Analysis) group, Dept. of Informatics - UiO. 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.

Projects
Teaching
Master subjects
Suggestions for Master thesis may be found here. If you are interested in those subjects or if you have a proposal for a Master thesis related to my research topics, please contact me.
Publications
Click here to see a complete list of publications. You may also see a pdf version.
Tools
SPeeDI: Together with Gordon Pace, I have implemented a verification tool for Polygonal Differential Inclusions (SPDI). A description of the tool and related papers can be found in the SPeeDI homepage, maintained by Gordon.
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):