Gerardo Schneider
    Postal Address: Department of Computer Science and Engineering
                               Chalmers University of Technology
                                SE-41296 Gothenburg, SWEDEN
    Visiting Address: Room 5482, 5th floor EDIT building
                                  Rännvägen 6B, Johanneberg campus
                                  Gothenburg, SWEDEN
    Phone:    +46 (0)31 772 6073
    Fax:          +46 (0)31 772 4899
    E-mail:    gersch at chalmers.se / gerardo.schneider at gu.se
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

Program Committee Member of the following events:
    1. SEFM'12: 10th International Conferences on Software Engineering and Formal Methods - Thessaloniki (Greece), 1-5 October 2012
    2. FLACOS'12: 6th workshop on Formal Languages and Analysis of Contract-Oriented Software -Bertinoro (Italy), September 2012
    3. NWPT'12: 24th Nordic Workshop on Programming Theory - Bergen, Norway, Oct 2012
    4. SBIA'12: 21st Brazilian Symposium on Artificial Intelligence - Curitiba, Brazil, 20-25 Oct 2012.

    Past events:
    1. SEFM'11: 9th International Conferences on Software Engineering and Formal Methods - Montevideo (Uruguay), 14-18 November 2011 (PC chair)
    2. FLACOS'11: 5th workshop on Formal Languages and Analysis of Contract-Oriented Software - Málaga (Spain), 22-23 September 2011
    3. ICTAC'11: 8th International Colloquium on Theoretical Aspects of Computing - Johannesburg (South Africa), 31 August - 2 September 2011
    4. NWPT'11: 23rd Nordic Workshop on Programming Theory - Västerås (Sweden), October 2011.
    5. FMSPLE'11: 2nd Workshop on Formal Methods in Software Product Line Engineering - Munich (Germany), August 2011
    6. Doctoral Symposium at FCT 2011: Doctoral symposium associated to the 18th International Symposium on Fundamentals of Computation Theory - Oslo (Norway), 21 August 2011
    7. CSBC'11 - ENIA: VIII Encontro Nacional de Inteligencia Artificial - Natal, Brazil, 19-22 July 2011
    8. NWPT'10: 22nd Nordic Workshop on Programming Theory - Turku (Finland), 10-12 November 2010.
    9. SBIA'10: XX Brazilian Symposium on Artificial Intelligence (SBIA 2010). São Bernardo do Campo, Brazil, October 2010
    10. FLACOS'10: 4th workshop on Formal Languages and Analysis of Contract-Oriented Software - Pisa (Italy), 17-18 September 2010 (PC Chair)
    11. FMSPLE'10: First Workshop on Formal Methods in Software Product Line Engineering. Jeju Island (South Korea) September 2010.
    12. SEFM'10: 8th IEEE International Conferences on Software Engineering and Formal Methods - Pisa (Italy), 13-17 September 2010
    13. VERIFY'10: 6th International Verification Workshop - Edinburgh (UK), 20-21 July 2010.
    14. WCSI'10: International Workshop on Component and Service Interoperability - Málaga (Spain), 29 June 2010.
    15. FLACOS'09: 3rd workshop on Formal Languages and Analysis of Contract-Oriented Software - Toledo (Spain), 24-25 September 2009 (PC Chair)
    16. ChWFM'09: Chilean Workshop on Formal Methods - Santiago de Chile (Chile), 9-13 November 2009
    17. NWPT'09: 21st Nordic Workshop on Programming Theory. Lyngby, Denmark, 14-16 October 2009
    18. ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid Systems - Zaragoza (Spain), 16-18 September 2009
    19. SEFM'09: 7th IEEE International Conferences on Software Engineering and Formal Methods - Hanoi (Vietnam), 23-27 November 2009
    20. FLACOS'08: 2nd workshop on Formal Languages and Analysis of Contract-Oriented Software - Malta, 27-28 November 2008 (PC Chair)
    21. SEFM'08: 6th IEEE International Conferences on Software Engineering and Formal Methods - Cape Town (South Africa), 10-14 Nov 2008
    22. NWPT'08: The 20th Nordic Workshop on Programming Theory - Tallinn (Estonia), 19-21 November 2008
    23. RV'08: 8th Workshop on Runtime Verification - Budapest (Hungary), 30 March 2008
    24. FLACOS'07: 1st workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo (Norway), 9-10 October 2007 (PC Chair)
    25. NWPT'07: The 19th Nordic Workshop on Programming Theory - Oslo (Norway), 10-12 October (PC Chair)



Projects
  • Data-Driven Secure Business Intelligence, supported by the Swedish Foundation for Strategic Research (SSF). Period: 2012 - 2016.
  • DaDeS: Data-driven Decision Support, a Vinnova project, phase A. Period: Nov 2011 - Mar 2012.
  • COSoDIS: Contract-Oriented Software Development for Internet Services, a Nordunet3 project. Period: 2006 - 2010. (Principal Investigator)

Edited Books/Journals
Publications
You can find a complete list of my publications (you may also see a pdf version, and here my publications in DBLP).
PhD Students
  • Hallstein A. Hansen - Working on verification of hybrid systems
  • Cristian Prisacariu - Topic: Specification and analysis of electronic contracts using logics. (Defended his PhD thesis in December 2010)


    		•
    Teaching (since 2005)
    • DIT085 (Test and Verification), Bachelor on SE&M, 2011. Chalmers | Univ. of Gothenburg (Coordinator and lecturer)
    • DIT597 (Technical Challenge Project), Master on SE&M, 2011. Chalmers | Univ. of Gothenburg (Coordinator and supervisor)
    • TIG034 (Test and Verification), Bachelor on SE&M, 2010. Univ. of Gothenburg (Coordinator and lecturer)
    • TIA050 (Technical Challenge Project), Master on SE&M, 2010. Univ. of Gothenburg (Coordinator and supervisor)
    • TIG029 (Software Architecture for Distributed Systems), Bachelor on SE&M, 2009. Univ. of Gothenburg (Coordinator and supervisor)
    • TIA051 (Seminars on SE&M), Master on SE&M, 2009. Univ. of Gothenburg (Coordinator and lecturer)
    • TIA049 (Industrial Challenge Project), Master on SE&M, 2009. Univ. of Gothenburg (Supervisor)
    • INF5906 (Selected Topics on Static Analysis). Together with Martin Steffen. Univ. of Oslo.
    • 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. Univ. of Oslo.
    • INF5140 -- 2006, 2007, 2009, 2011 (Specification and verification of parall el 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. Univ. of Oslo.

    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. Not updated! Please contact me if you want to know the current master topics available.
    Some Talks (slides)
    Tools
    • SPeeDI is a tool for the verification of Polygonal Differential Inclusions (SPDI).
    • CLAN is the prototype of a tool to detect normative conflicts in contracts written int the formal language CL.
    • AnaCon is a prototype of a framework for analysis normative texts written in controlled natural language (CNL). The analysis performed so far is concerned with normative conflicts by using CLAN. This is done by first translating the CNL into the language CL using the Grammatical Framework.


    Miscellaneous
    • 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.). In case you also like to read and go to the cinema you can take a look at what I have been reading recently, and 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). Also, I highly recommend the book Flat Earth News by Nick Davies.
    •   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):