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**

- Models and calculi for software systems and programming languages
- Formal development and analysis of systems
- Computational algebras, lattice theory, Kleene algebra
- Logic in computer science, mechanised and automated reasoning
- Term rewriting, decision procedures, complexity

**Events**

- Workshop Automated Theorem proving Meets Interactive Theorem Proving, Berlin, August 2, 2015
- Midlands Graduate School in the Foundations of Computing Science, Sheffield, April07-April 11, 2015

**Some Publications**

- Abstract Abstract Reduction. Journal of Logic and Algebraic Programming. pdf. (to appear)
- Kleene Algebra with Domain, with Jules Desharnais and Bernhard Möller. ACM TOCL. pdf. (to appear)
- Modal Kleene Algebra and Partial Correctness, with Bernhard Möller. AMAST 2004. pdf (best paper award).
- A Calculus for Set-Based Program Development. ICFEM 2003. postscript.
- Deriving Focused Calculi for Transitive Relations. RTA 2001. postscript.
- An Algebra of Resolution. RTA 2000. postscript.
**more...**

**Mechanised Algebraic Reasoning**

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

**Current Teaching**

- COM1009 Introduction to Algorithms and Data Structures
- COM2003/364 (Automata,) Logic and Computation
- COM4507/6507 Software and Hardware Verification

**Previous Teaching**

- COM1002 Foundations of Computer Science
- COM2003 Automata, Logic and Computation
- COM6854 Software Verification and Testing
- COM6854 Software Verification and Testing
- 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)