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@sheffield.ac.uk

Research Interests

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

Events

• Midlands Graduate School 2021, 12-16 April, 2021

Publications

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

Teaching

• COM4507/6507 Hardware and Software Verification