Research-Presentations for Dr J. Paul Gibson, LOgiciels-Réseaux (LOR), IT SudParis, France.

Overview

This page lists the invited public talks/seminars given by Paul. Copies of these talks can be mailed on request - contact Paul at paul.gibson@it-sudparis.eu. Furthermore, most of Paul's research publications have corresponding presentations that are also available on request.

Presentations

"The human factor cannot be safely neglected in planning machinery" - should e-voting machine development be driven by Murphy's Law?
Presented at: Dagstuhl on Verfiable Elections and the Public (July 2011).

Research In Context: A talk in images
Presented to: Postgraduate Research Symposium, Limerick Insitute of Technology (April 2011).

A compositional approach to modelling and formal verification of e-voting systems
Presented to: Department of Information Technology, Limerick Insitute of Technology (April 2010).

A compositional approach to modelling and formal verification of e-voting systems
Presented at: The Computer science department, Namur, Belgium; to the Precise research group (February 2010).

Feature Interactions in a Software Product Line for E-voting
Presented at: The Computer science department, Clemson Univ., SC, USA, to the RSRG research group (September 2009).
Co-presenter: Jean-Luc Raffy.

E-voting verfication problems across the world
Presented at: VETO08, (Workshop sur La sécurité Informatique et le Vote ElecTrOnique), CIRM, Marseille Luminy, Université de la Méditerranée (March 2008).
Co-presenters: Jean-Luc Raffy and Eric Lallet.

Formal methods - never too young to start
Presented at: To B or in any Event To B, Nancy, France (December 2007).

E-voting and the need for rigorous software engineering - the past, present and future
Presented at: B2007, Besancon, France (January 2007).

Trust and security in e-voting systems: the verification problem
Presented at: Workshop on Trustworthy Software, Saarland University, Saarbrücken, Germany (May 18th - 19th 2006).

Problem-based learning: the "Pablo Picasso Approach"
Presented for: The Office of Teaching Effectiveness and Innovation, Clemson Univ., SC, USA (May 2006).

E-voting: software engineering and formal methods
Presented at: The Computer science department, Clemson Univ., SC, USA, to the RSRG research group (May 2006).

Le vote électronique, les methodes formelles et les problèmes complexes dus à la sécurité
Presented to: The MOSEL research group, Nancy, France. (March 2006).

PBL - A computer science viewpoint.
Presented at: Project and Problem Based Learning in Higher Education, Galway (12-13 June 2003).
Co-presenters: Jackie O'Kelly, and George Mitchell.

The Hunt For Software Engineers - i'll provide the (silver) bullets if you provide the guns to fire them.
Presented at: NUI Maynooth CS Department, Seminar Series (7th & 14th October 2002).

The Complexity of Beauty or the Beauty of Complexity
Presented for: The NUIM Astro-2 (student society) (April 2002).

Fair Objects: Infinity and Beyond
Presented at: Formal Methods Alliance (Clemson University) (January 2002).

An Introduction To Formal Methods
Presented at: Formal Methods Alliance (Clemson University) (January 2002).

Computability, complexity, correctness, and common-sense
Presented at: NUIM Mathematics Seminar (February 2001).

The fractal-like nature of complexity boundaries
Presented at: NUIM-DCU Formal Methods and Security Seminar Series (March 2001).

Software Engineering and Ethics: when code goes bad
Presented for: The NUIM Astro-2 (student society) (March 2001).

The role of computer science in software engineering.
Presented at: NUI Maynooth CS Department, Seminar Series (8th May 2000).

Three interesting problems in computer science
Presented at: NUI Maynooth CS Department, Seminar Series (20th November 2000).

Correctness Preserving Transformations for software maintenance (in C++)
Presented at: NUI Maynooth CS Department, Seminar Series (25th September 2000).
Co-presenters: Prof. Brian Malloy, and Dr T Dowling.

Stability issues in formal OO requirements models
Presented at: NUI Maynooth CS Department, Seminar Series (1st November 1999).