DESEM Summer School


Summerschool Congratulations:

Congratulations to the DESEM Summerschool participants and presenters on a very successful week at NUI Maynooth. Further details regarding student presentations, invited talks from Industry and Academia as well as the SAP company site can be found below.  In particular we congratulate the student project prize winners listed below who received prizes sponsored by SAP:

University Awarded Prizes:

Best MSc Project at University of St Andrews: Clustering Algorithms for Chemical Protein Structures - Khadija Musayeva

Best MSc Project at NUIM:  Source Code matching for reuse of Formal Specification - Daniela Grijincu

Best MSc Project at Universite de Lorraine:  Modeling Blood Glucose and Insulin Regulatory Systems in Event-B - Albert Rizaldi

Student Awarded Prizes:

Best Overall MSc Project:  Source Code matching for reuse of Formal Specification - Daniela Grijincu

Summerschool Schedule and Presentations:

The Summer School Booklet with organisation details, bio's and abstracts can be downloaded at DESEM Summer School Booklet.pdf

The 2013 Summer School was held at John Paul II Library at NUI Maynooth from Monday 8th of July to Friday 12th July. The Summer School will consisted of Student Talks, Project Poster Presentation, Scholar Tutorials, Industry Speakers and Company Visits.

Student talks:

Invited scholar tutorials:

  • A Graph Calculus for relational Reasoning - Prof. Jorge Petrucio Viana
  • Automated Fault Localization: Aiding Programmers in Debugging
    Programs - Dr. Thomas Wies

Industrial Presentations:

  • Dr Amy Bohan, Accenture
  • Denise Temple and Yerlan Turekeshov, Microsoft
  • Brian Brazil, Google
  • David Miller, Terminalfour
  • John Kavanagh and Aaloka Anant, SAP
  • Niall O'Connell and Brendan Bowe, Openet
  • Sean Smithers, AOL

Company site visit: SAP

  • Liam Ryan, Managing Director, SAP
  • John Kavanagh and Aaloka Anant, SAP
  • Sean Long and Manuel Saez, SAP
  • Jennifer Keane and Myles Cullen, SAP
  • Russell Ward, SAP

Social Events:

  • Horse Racing at Naas
  • Russell Library Tour

Academic Speakers:

  • Atilim Gunes Baydin, Universitat Autonoma de Barcelona
  • Dr J Paul Gibson, Telecom SudParis
  • Dr Stephen Brown, Deptartment of Computer Science, NUI Maynooth- Presentation
  • Dr Frank Devitt, NUI Maynooth - Presentation
  • Dr Victor Lazzarini, Deptartment of Music, NUI Maynooth
  • Tom Naughton, Deptartment of Computer Science, NUI Maynooth
  • Owen Laverty, Commercialisation Office, NUI Maynooth
  • Dr. Andrea Valova, Graduate Studies Office, NUI Maynooth - Presentation