Professor Georg Struth

Professor of Theoretical Computer Science
Director of Staff Development, Postgraduate Research Student Tutor.

Telephone: +44 (0) 114 222 1846
Email: g.struth@sheffield.ac.uk

Head of the Verification research group
Personal website: staffwww.dcs.shef.ac.uk/people/G.Struth/

Google scholar

Prof. Georg Struth

Profile

Biography

Georg studied theoretical physics and philosophy at the University of Heidelberg and obtained a PhD in computer science from the Max Planck Institute for Informatics in Saarbrücken. After a series of positions at German universities he joined the University of Sheffield in 2005.

Research

Research

Georg works mainly on logical and algebraic methods in computer science, formalised mathematics with interactive theorem provers and program verification and correctness. His interests range from foundational work on the axiomatisation and semantics of sequential and concurrent computing systems to applications in the design and implementation of program verification software.

Grants

Current Grants

Previous Grants

  • Midlands Graduate School in the Foundations of Computing Science 2010, EPSRC, 03/2010 to 03/2011, £4,704, as PI
  • Verifying Concurrent Lock-free Algorithms, EPSRC, 04/2012 to 10/2015, £378,907, as Co-PI
  • Algebras and Proof Automation for Algorithmic Game Development, ROYAL SOCIETY, 01/2013 to 12/2014, £6,500, as PI

Publications

Selected publications (all publications)