Below is a list of research and outreach talks I have given. Slides are only available online for a selected few, but if you would like to see the slides of any others, please do get in touch.
(Lecture slides and other materials from my courses can be found on my teaching page.)
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.
CME Project Advisory Board Meeting, ETH Zürich. 6th March, 2014.
Programming Languages Seminar at The University of York. 23rd January, 2014.
Talks in 2013:
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.
Programming Languages Seminar at The University of York. 30th May, 2013.
Heap Analysis Workshop at the University of Bamberg. 18-19 February, 2013.
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.
Headstart 2012, Department of Computer Science, The University of York. 10-13 July, 2012.
Talks in 2011:
Invited talk, Theory Group Seminar, Universität Oldenburg. 1st November, 2011.
CLUB2 Seminar, Theorem Proving Group, Technische Universität München. 24th October, 2011.
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.
Headstart 2011, Department of Computer Science, The University of York. 12-15 July, 2011.
PFA (Preparing Future Academics) Symposium. The University of York. 15-16 March, 2011.
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.
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August, 2010.
Marktoberdorf Summer School on Software and Systems Safety: Specification and Verification. 3-15th August, 2010.
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April, 2010.
Literature Review Seminar, The University of York. 11th January, 2010.