Georg Struth


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

Research Interests



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

Previous Teaching