Department of Computer Science

The University of Sheffield

Regent Court, 211 Portobello Street

Sheffield S1 4DP, UK

Tel: +44 (0)114 22 21846

Fax: +44 (0)114 22 21810

G.Struth@dcs.shef.ac.uk

**Research Interests**

- logical and algebraic methods in computer science
- program correctness and verification
- formalised mathematics with interactive theorem provers

**Events**

- Relational and Algebraic Methods in Computer Science (RAMiCS 2017), Lyon, Spring 2017
- Midlands Graduate School in the Foundations of Computing Science, Birmingham, April1-April 15, 2016

**Publications**

Most of my papers can be found at dblp or google scholar.

**Mechanised Algebraic Reasoning**

The following links lead to web sites with mechanised and automated proofs in algebraic structures.

**Current Teaching**

- COM1002 Foundations of Computer Science
- COM2003/364 (Automata,) Logic and Computation
- COM4507/6507 Software and Hardware Verification

**Previous Teaching**

- COM1009 Introduction to Algorithms and Data Structures
- COM1002 Foundations of Computer Science
- COM2003 Automata, Logic and Computation
- COM6854 Software Verification and Testing
- Building Verification Tools with Isabelle (slides from a lecture series at the Midlands Graduate School 2015)
- Kleene Algebras (slides from a lecture series at the Midlands Graduate School 2012/13)
- Mechanised Reasoning (slides from a lecture series at the Midlands Graduate School 2011)
- Automated Theorem Proving (slides from a lecture series at the Midlands Graduate School 2009/10)
- Algebraic Methods (slides from a lecture series at the Midlands Graduate School 2008)