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
Curriculum Vitae

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.

Program Committee Member of the following events:
    1. SEFM'14: 12th International Conference on Software Engineering and Formal Methods - Grenoble (France), 1-5 September 2014
    2. NWPT'14: 26th Nordic Workshop on Programming Theory - Halmstad (Sweden), 29-31 October 2014

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



Projects
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). You can also see my public Google Scholar profile)

PhD Students

Main supervisor:
  • John J. Camilleri - Working on controlled natural languages and formal methods.
  • Raúl Pardo Jiménez - Working on privacy issues in big data.
  • Hallstein A. Hansen - Safety verification of planar, nonlinear, complex control systems by over-approximation. (Defended in June 2012)
  • Cristian Prisacariu - A Dynamic Deontic Logic over Synchronous Actions. (Defended in December 2010)

  • Co-supervisor:
  • Mauricio Chimento - Working on the definition of a uniform approach to static and runtime verification techniques. (Main supervisor: Wolfgang Ahrendt)
  • Hamid Ebadi - Working on differential privacy. (Main supervisor: Dave Sands)
  • Prasanth Kolachina - Working on statistical machine translation and GF. (Main supervisor: Aarne Ranta)
  • Einar W. Host - Interactive Tool Support for Agile Development (Defended in March 2011). (Main supervisor: Bjarte M. Ostvold)


  • Teaching (since 2005)
    • DAT260 / DIT848 (Model-Based Testing), Master on SE&M, 2012, 2013, 2014. Chalmers | Univ. of Gothenburg (Course responsible)
    • DIT085 (Test and Verification), Bachelor on SE&M, 2010, 2011, 2012. Chalmers | Univ. of Gothenburg (Course responsible)
    • DIT597 (Technical Challenge Project), Master on SE&M, 2011. Chalmers | Univ. of Gothenburg (Coordinator and supervisor)
    • 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 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. 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):