Georg Struth

Professor Georg Struth is a faculty member at the School of Computer Science, University of Sheffield. He serves as Head of the Foundations of Computation research group.

Research Interests include logical and algebraic methods in computer science, formalised mathematics with interactive theorem provers, program verification, and hybrid systems. His work bridges foundational algebra (Kleene algebras, quantales, catoids) with practical verification tools in Isabelle/HOL.

Recent Publications focus on higher-dimensional automata, modal algebras, and convolution-based concurrency models. Grants include EPSRC funding for hybrid system verification and concurrent algorithms. Teaching covers Hardware and Software Verification and formalised mathematics.