Talks

This page lists the various research and outreach talks I have prepared and delivered. Slides are available for a selected few of the talks, but in general, I am happy to provides the slides of any others upon request.

(Lecture slides and other materials from my courses can be found on my teaching page.)

Talks in 2017:

Towards Attesting the SWaT Water Treatment Testbed
Lightning Talk, Secure Cyber-Physical Systems Week Think-In, SUTD Singapore. 6 June, 2017.

Talks in 2016:

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (joint presentation with C. Corrodi / A. Heußner)
19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016), TU Eindhoven. 5 April, 2016.

Talks in 2015:

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (joint presentation with Alexander Heußner)
Dagstuhl Seminar 15451 on Verification of Evolving Graph Structures, Schloss Dagstuhl. 4 November, 2015.

Hoare-Style Verification for GP 2 (joint presentation with Detlef Plump)
Dagstuhl Seminar 15451 on Verification of Evolving Graph Structures, Schloss Dagstuhl. 3 November, 2015.

The AutoProof Verifier: Usability by Non-Experts and on Standard Code
2nd Workshop on Formal Integrated Development Environment, University of Oslo. 22 June, 2015.

Talks in 2014:

Towards Rigorously Faking Bidirectional Model Transformations (prepared by me; presented by Richard Paige)
3rd Workshop on the Analysis of Model Transformations (AMT at MODELS 2014), València, Spain. 29th September, 2014.

Verifying Monadic Second-Order Properties of Graph Programs
7th International Conference on Graph Transformation (ICGT at STAF 2014), The University of York. 22-24 July, 2014.

Graph-Based Modelling and Verification for Asynchronous Systems
CME Project Advisory Board Meeting, ETH Zürich. 6th March, 2014.

Graph-Based Modelling and Reasoning for Asynchronous Systems
Programming Languages Seminar at The University of York. 23rd January, 2014.

Talks in 2013:

Contracts and Search for Finding Faults
Monday Afternoon Club, Software Technologies Group, University of Bamberg. 29th October, 2013.

Using Contracts to Guide the Search-Based Verification of Concurrent Programs
5th International Symposium on Search-Based Software Engineering (SSBSE 2013), Saint Petersburg. 24-26 August, 2013.

Using Contracts to Guide the Search-Based Verification of Concurrent Programs
Programming Languages Seminar at The University of York. 30th May, 2013.

Manipulating Graphs: Reasoning and Verification
Heap Analysis Workshop at the University of Bamberg. 18-19 February, 2013.

Concurrency Made Easy
Programming Languages Seminar at The University of York. 7th February, 2013.

Talks in 2012:

Verifying Total Correctness of Graph Programs
4th Workshop on Graph Computation Models (GCM 2012), Universität Bremen. 28-29 September, 2012.

Verification of Graph Programs
Doctoral Symposium at 6th International Conference on Graph Transformation (ICGT 2012), Universität Bremen. 26 September, 2012.

Alan Turing’s Legacy: Computation and its Limits
Headstart 2012, Department of Computer Science, The University of York. 10-13 July, 2012.

Talks in 2011:

Hoare-Style Verification of Graph Programs
Invited talk, Theory Group Seminar, Universität Oldenburg. 1st November, 2011.

Hoare-Style Verification of Graph Programs
CLUB2 Seminar, Theorem Proving Group, Technische Universität München. 24th October, 2011.

What it’s really like: Thoughts from an “experienced” PGWT
Invited talk, PGWT (PostGraduates Who Teach) Residential, at the Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.

Alan Turing’s Legacy: Computation and its Limits
Headstart 2011, Department of Computer Science, The University of York. 12-15 July, 2011.

Teaching Mathematics to Software Engineers
PFA (Preparing Future Academics) Symposium. The University of York. 15-16 March, 2011.

Verifying Graph Programs: What, Why, How?
York-IISc workshop, hosted by the Department of Computer Science and Automation at the Indian Institute of Science, Bangalore, India. Supported by UKIERI. 22-24 February, 2011.

Talks in 2010:

A Hoare Calculus for Graph Programs
5th International Conference on Graph Transformation (ICGT 2010), University of Twente. 29th September, 2010.

Hoare Logic for Graph Programs
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August, 2010.

Relational Calculus Lunchtime Tutorial
Marktoberdorf Summer School on Software and Systems Safety: Specification and Verification. 3-15th August, 2010.

Towards a Hoare Calculus for Graph Programs
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April, 2010.

Formalisms for the Verification of Graph Programs
Literature Review Seminar, The University of York. 11th January, 2010.