
|
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 |
- PolUser: Rich User-Controlled Privacy Policies, funded by The Swedish
Research Council (Vetenskapsrådet), Period: 2016 - 2019. (Principal Investigator)
- Runtime
Verification beyond Monitoring (ARVI), ICT COST Action
IC1402, Period: Dec 2014 - Dec 2018.
(Member of the Management Committee)
- ReMU: Reliable Multilingual Digital Communication:
Methods and Applications, funded by The Swedish
Research Council (Vetenskapsrådet), Framework
Grant: The Digitized Society - Past, Present, and
Future. Period: Jan 2013 - Dec 2017. (Co-applicant)
- StaRVOOrS: Unified Static and Runtime Verification of Object-Oriented Software, funded by The Swedish
Research Council (Vetenskapsrådet.) Period: Jan
2013 - Dec 2016. (Co-applicant)
- DataBIn: Data-Driven Secure Business Intelligence,
supported by the Swedish Foundation for Strategic Research
(SSF). Period: Jan
2012 - Dec 2017. (Co-applicant)
- DaDeS: Data-driven
Decision Support, a Vinnova
project, phase A. Period: Nov 2011 - Mar 2012. (Co-applicant)
- COSoDIS: Contract-Oriented
Software Development for Internet Services, a Nordunet3
project. Period: 2006 - 2010. (Principal Investigator)
|
|
Edited Books/Journals |
I have been co-editor of the following issues:
- Journal
of Software and System Modeling (SoSyM) 14(1), February 2015. Springer, ISSN: 1619-1366. (Co-editors: Gilles Barthe and
Alberto Pardo)
- Lecture Notes
in Computer Science vol. 7041, Software
Engineering and Formal Methods, November
2011. Springer, ISSN: 0302-9743, ISBN:
978-3-642-24689-0. (Co-editors: Gilles Barthe and
Alberto Pardo)
- The
Journal of Logic and Algebraic Programming
81(2), February 2012. Elsevier, ISSN:
1567-8326. (Co-editor: Antonio Brogi)
- The Journal of Logic and Algebraic Programming 80(3-5), April-July 2011. Elsevier, ISSN: 1567-8326. (Co-editor: Gordon Pace)
- The Journal of Logic and Algebraic Programming 80(1), January 2011. Elsevier, ISSN: 1567-8326. (Co-editor: Gordon Pace)
- The Journal of Logic and Algebraic Programming 78(7), August/September 2009. Elsevier, ISSN: 1567-8326. (Co-editors: Einar B. Johnsen and Olaf Owe)
- The Journal of Logic and Algebraic Programming 78(5), May/June 2009. Elsevier, ISSN: 1567-8326. (Co-editor: Olaf Owe)
|
|
Publications
|
|
|
PhD Students
|
Main supervisor:
Hanaa
AlShareef, Chalmers -
Working on privacy issues.
John
J. Camilleri, University of Gothenburg -
Contracts and Computation - Formal modelling
and analysis for normative natural language.
(Defended on November 1st, 2017)
Raúl Pardo
Jiménez, Chalmers - Privacy Policies
for Social Networks: A Formal Approach.
(Defended on November 22, 2017)
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)
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
|
|
|
Program
Committee Member of the following events:
|
- RV'18: 18th International Conference on
Runtime Verification - Limassol (Cyprus), 10-13 Nov 2018.
- NWPT'18:
30th Nordic Workshop on Programming Theory - Oslo (Norway), Oct 2018.
- iFM'18: 14th International Conference on
Integrated Formal Methods - Maynooth (Ireland), 5-7 Sep 2018.
- FM'18:
22nd International Symposium on Formal Methods - Oxford (UK),
15-17 Jul 2018. (As part of FLOC 2018, the Federated Logic Conferences.)
- VORTEX'18:
3rd VORTEX Workshop on Runtime Verification (co-located with
ECOOP'18) - Amsterdam (The Netherlands), 16-21 Jul 2018.
- FORMALISE'18:
6th International Conference in Formal Methods and Software Engineering - Gothenburg (Sweden),
2 Jun 2018. (Co-located with ICSE 2018)
Past events:
- NWPT'17:
29th Nordic Workshop on Programming Theory - Turku (Finland), 1-3 Nov 2017.
- iFM'17: 13th
International Conference on Integrated Formal Methods - Torino (Italy), 18-22 Sep 2017.
- PrePost'17: Second International Workshop on Pre- and Post-Deployment Verification Techniques - Torino (Italy), 19 Sep 2017.
- RV'17: 17th International Conference on
Runtime Verification - Seattle (USA), 13-16 Sep 2017.
- TTCS'17: 2nd IFIP International Conference on Topics in Theoretical Computer Science - Tehran (Iran), 12-14 Sep 2017.
- QRS'17: IEEE International Conference on Software Quality, Reliability, and Security - Prague (Czech Republic), 26-28 Jul 2017.
- VORTEX'17:
2nd VORTEX Workshop on Runtime Verification (co-located with
ECOOP'17) - Barcelona (Spain), 18-23 Jun 2017.
- ACM SAC-SVT'17:
Software Verification and Testing (SVT'17) - A track of the ACM Symposium on Applied Computing - Marrakech (Morocco), 27-31 Mar 2017.
- FM on Privacy'16: 1st Workshop on Formal Methods on Privacy (co-located with FM'16). Limassol (Cyprus), 8 Nov 2016.
- FM'16: 21st
International Symposium on Formal Methods - Limassol (Cyprus),
7-11 November 2016.
- NWPT'16:
28th Nordic Workshop on Programming Theory - Rold Storkro, North Jutland (Denmark), 31 Oct - 2 Nov 2016.
- RV'16: 16th International Conference on
Runtime Verification - Madrid (Spain), 23-30 September 2016.
- VORTEX'16:
1st VORTEX Workshop on Runtime Verification (co-located with
ECOOP'16) - Rome (Italy), 17-22 July 2016.
- TASE'16: The 10th International Symposium on Theoretical Aspects of Software Engineering - Shangai (China), 17-19 July 2016.
- iFM'16: 12th International Conference on
Integrated Formal Methods - Reykjavik (Iceland), 1-3 June 2016.
- TTCS'15: First
International Conference on Topics in Theoretical Computer
Science. Institute for Research in Fundamental Sciences (IPM) -
Tehran (Iran), 26-28 August 2015
- SEFM'15: 13th
International Conference on Software Engineering and Formal
Methods - York (UK), 7-11 September 2015
- ICTAC'15: 12th
International Colloquium on Theoretical Aspects of Computing -
Cali (Colombia), 29-31 October 2015
- NWPT'15:
27th Nordic Workshop on Programming Theory - Reykjavik (Iceland), 21-23 October 2015
- NWPT'14:
26th Nordic Workshop on Programming Theory - Halmstad (Sweden), 29-31 October 2014
- SEFM'14: 12th
International Conference on Software Engineering and Formal
Methods - Grenoble (France), 1-5 September 2014
- SEFM'13: 11th
International Conference on Software Engineering and Formal
Methods - Madrid (Spain), 25-27 September 2013
- NWPT'13: 25th Nordic Workshop on
Programming Theory - Tallin (Estonia), 20-22 November 2013
- SEFM'12: 10th
International Conferences on Software Engineering and Formal
Methods - Thessaloniki (Greece), 1-5 October 2012
- FLACOS'12: 6th
workshop on Formal Languages and Analysis of Contract-Oriented
Software -Bertinoro (Italy), September 2012
- NWPT'12: 24th Nordic Workshop on Programming Theory
- Bergen, Norway, Oct 2012
- SBIA'12:
21st Brazilian Symposium on Artificial Intelligence -
Curitiba, Brazil, 20-25 Oct 2012.
- SEFM'11: 9th
International Conferences on Software Engineering and Formal
Methods - Montevideo (Uruguay), 14-18 November 2011 (PC chair)
- FLACOS'11: 5th
workshop on Formal Languages and Analysis of Contract-Oriented
Software - Málaga (Spain), 22-23 September 2011
- ICTAC'11: 8th International Colloquium on Theoretical Aspects of Computing - Johannesburg (South Africa), 31 August - 2 September 2011
- NWPT'11: 23rd Nordic Workshop on Programming Theory - Västerås (Sweden),
October 2011.
- FMSPLE'11: 2nd
Workshop on Formal Methods in Software Product Line Engineering - Munich (Germany), August 2011
- Doctoral Symposium at FCT 2011: Doctoral symposium associated to the 18th International Symposium on Fundamentals of Computation Theory - Oslo (Norway), 21 August 2011
- CSBC'11
- ENIA: VIII Encontro Nacional de Inteligencia Artificial
- Natal, Brazil, 19-22 July 2011
- NWPT'10: 22nd Nordic
Workshop on Programming Theory - Turku (Finland), 10-12 November
2010.
- SBIA'10: XX
Brazilian Symposium on Artificial Intelligence (SBIA 2010). São
Bernardo do Campo, Brazil, October 2010
- FLACOS'10: 4th
workshop on Formal Languages and Analysis of Contract-Oriented
Software - Pisa (Italy), 17-18 September 2010 (PC Chair)
- FMSPLE'10:
First Workshop on Formal Methods in Software Product Line
Engineering. Jeju Island (South Korea) September 2010.
- SEFM'10: 8th IEEE
International Conferences on Software Engineering and Formal
Methods - Pisa (Italy), 13-17 September 2010
- VERIFY'10:
6th International Verification Workshop - Edinburgh (UK), 20-21
July 2010.
- WCSI'10: International Workshop on
Component and Service Interoperability - Málaga (Spain), 29 June
2010.
- FLACOS'09: 3rd workshop
on Formal Languages and Analysis of Contract-Oriented Software -
Toledo (Spain), 24-25 September 2009 (PC
Chair)
- ChWFM'09: Chilean Workshop on
Formal Methods - Santiago de Chile (Chile), 9-13 November 2009
- NWPT'09: 21st
Nordic Workshop on Programming Theory. Lyngby, Denmark, 14-16
October 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 (PC Chair)
- 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 (PC
Chair)
- NWPT'07: The 19th Nordic
Workshop on Programming Theory - Oslo (Norway), 10-12 October
(PC
Chair)
- 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,
2015,
2016. 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) |
- Conferences: ICTAC'09 (paper on GSPeeDI), ICTAC'09 (paper on
contracts), SEFM'09, ATVA'09, FESCA'09 (paper
on wrappers), FESCA'09 (paper
on CoCoME), ICTAC'08, SAC'08, ATVA'07, ICTAC'06, FORMATS'06, CLEI'05, NWPT'04, NWPT'03-(a)
(FOSSACS'04), NWPT'03-(b), HSCC'02, CAV'02, HSCC'01, FTRTFT'98.
- Other talks (most of the slides below are in PDF format; however
I have some Power Point presentations with animations which might
not work with OpenOffice -you might need to use Windows):
- What
is Software Engineering Mar 2009
- Heinsenberg-effect-free
runtime verification of real-time properties Jan 2009
- How many
programming languages a good programmer should know? Dec
2008
- Specification and verification of
e-contracts (mini-course, 10 hours) - SEFM School, Cape
Town, South Africa, Nov 2008
- Specification
and Analysis of Contracts (tutorial, 4 hours) - UTN,
Argentina, 2007
- Models
of concurrency (mini-course, 12 hours) - UCPel, Brazil,
2003
- CL:
contract language + model checking - Univ. of Edinburgh,
Scotland, 2007
- Memory
consumption analysis for Java cards - UiO, Oslo, 2005
- Verification
infinite systems applied to CCS - UCPel, Brazil, 2003
- Introduction
to Hybrid Systems - IRISA-INRIA, France, 2004
- PhD thesis
|
|
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):
- Other links:
- Argentina:
- GARDEL
: Argentinian server (in Spanish).
- Brasil:
- Welcome
to Brazil: Meu Brasil by Sergio Koreisha (in
English);
- Virtual trip to Brazil(in
English);
- Porto
Alegre: capital of the "gaúcho" state of Rio Grande do
Sul (in Portuguese and English);
- Penduick
FM: brazilians in Grenoble (in Portuguese);
- Página do Gaúcho
(in Portuguese).
- About Tango:
- Tango
Trasnoche: Tango in Oslo;
- The top 100 Tango
recordings (in English, Spanish and French);
- Cybertango:
Tango's websites (links to sites in Spanish, English and
French).
|
|
|
|
|