Gerardo Schneider
    Address: Department of Applied IT
                      IT University
                      S-412 96 Göteborg, SWEDEN
    Phone:     +46
    Fax:            +46 (0)31 772 4899
    E-mail:      gersch at chalmers.se
    Address: Department of Informatics
                    University of Oslo
                    P.O. Box 1080 Blindern
                    NO-0316 Oslo, NORWAY
    Phone:         +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
  • Since July 2009 I am Senior Lecturer at the Department of Applied IT at the IT University of Göteborg (Chalmers|Göteborg University)
  • I also hold a part-time position (since January 2009) as Associate Professor at the PMA (Precise Modeling and Analysis) group, Dept. of Informatics - University of Oslo. From January 2005 till December 2008 I have been a (full time) researcher at the PMA group.
  • 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
    • FLACOS'09: 3rd workshop on Formal Languages and Analysis of Contract-Oriented Software - Toledo (Spain), 24-25 September 2009
    • ChWFM'09: Chilean Workshop on Formal Methods - Santiago de Chile (Chile), 9-13 November 2009
    • ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid Systems - Zaragoza (Spain), 16-18 September 2009
    • SEFM'09: 7th IEEE International Conferences on Software Engineering and Formal Methods - Hanoi (Vietnam), 23-27 November 2009

    • FLACOS'08: 2nd workshop on Formal Languages and Analysis of Contract-Oriented Software - Malta, 27-28 November 2008
    • SEFM'08: 6th IEEE International Conferences on Software Engineering and Formal Methods - Cape Town (South Africa), 10-14 Nov 2008
    • NWPT'08: The 20th Nordic Workshop on Programming Theory - Tallinn (Estonia), 19-21 November 2008
    • RV'08: 8th Workshop on Runtime Verification - Budapest (Hungary), 30 March 2008
    • 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
    • INF5906 (Selected Topics on Static Analysis). Together with Martin Steffen.
    • INF3110\4110 -- 2005, 2008 (Programming Languages - Programmeringsspråk). Together with Prof. Birger Møller-Pedersen. Slides of the lectures can be found here: 2005, 2008.
    • INF5140 -- 2006, 2007, 2009 (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
    •   Click here to see the countries I have visited.
    •   Click here to see the countries (and cities) where I have lived.
    •   I like to do many things (dance tango, play football and other sports, read, go to the cinema etc). Though I have not so much time now to do many of those things, I try to read a bit (about popular science, history, politics, fiction, biographies, fiction, etc.). You can see here what I have been reading recently, and here some of the films I've seen.
    •   If you are interested in real journalism, showing what is really going on in the World (and what really happened in the past), and not filtered by the controlled media, read books and articles by Noam Chomsky, George Monbiot and John Pilger (Pilger has also produced some interesting documentaries).
    •   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):