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, Model Checking, 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, Formal Specification and Analysis of Contracts.

If you want to know what is Model Checking, you can see a simple explanation here.
Curriculum Vitae
I am a researcher at the PMA (Precise Modeling and Analysis) group, Dept. of Informatics - University of Oslo. 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.

Conferences / Workshops
  • RV'08: 8th Workshop on Runtime Verification - Budapest (Hungary), 30 March 2008 -- Deadline for submissions: 9 December 2007
  • FLACOS'07: 1st workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo (Norway), 9-10 October 2007
  • NWPT'07: The 19th Nordic Workshop on Programming Theory - Oslo (Norway), 10-12 October

Projects
  • COSoDIS: Contract-Oriented Software Development for Internet Services
  • RHYTM: High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems
Teaching
  • INF3110\4110 (Programming Languages - Programmeringsspråk). Together with Prof. Birger Møller-Pedersen. Slides of the lectures can be found here.
  • INF5140 -- 2006, 2007 (Specification and verification of parallel systems - Kravspesifikasjon og verifikasjon av parallelle systemer). A course for M.Sc. and PhD students. Together with Espen H. Lian. Slides of the lectures can be found here.
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.
Some Talks (slides)
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):