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
Formal Specification and Analysis of Contracts, Formalization of Privacy Policies, 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.

If you want to know what is Model Checking, you can see a simple explanation here.

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, University of Gothenburg - Working on controlled natural languages and formal methods.
  • Raúl Pardo Jiménez, Chalmers - Working on privacy in Social Networks.
  • Hallstein A. Hansen, University of Oslo - Safety verification of planar, nonlinear, complex control systems by over-approximation. (Defended in June 2012)
  • Cristian Prisacariu, University of Oslo - A Dynamic Deontic Logic over Synchronous Actions. (Defended in December 2010)

  • Co-supervisor:
  • Mauricio Chimento, Chalmers - Working on the definition of a uniform approach to static and runtime verification techniques. (Main supervisor: Wolfgang Ahrendt)
  • Mahsa Varshosaz, Halmstad University - Working on testing for software product lines. (Main supervisor: Mohammad Reza Mousavi)
  • Hamid Ebadi, Chalmers - Working on differential privacy. (Main supervisor: Dave Sands)
  • Prasanth Kolachina, University of Gothenburg - Working on statistical machine translation and GF. (Main supervisor: Aarne Ranta)
  • Einar W. Host , University of Oslo - Interactive Tool Support for Agile Development (Defended in March 2011). (Main supervisor: Bjarte M. Ostvold)


  • Guest Researchers and Postdocs

  • Thibaud Antignac, postdoc (Mar 2015 - Mar 2016)
  • Emilia Cambronero Piqueras, guest researcher (Mar-Jun 2015)


  • Program Committee Member of the following events:
      1. SEFM'15: 13th International Conference on Software Engineering and Formal Methods - York (UK), 7-11 September 2015
      2. ICTAC'15: 12th International Colloquium on Theoretical Aspects of Computing - Cali (Colombia), 29-31 October 2015

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



    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):