Professor
Georg
Struth
PhD
School of Computer Science
Professor of Theoretical Computer Science
Head of the Foundations of Computation research group
Full contact details
School of Computer Science
Regent Court (CS)
- Profile
-
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 interests
-
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.
- Publications
-
There has been a problem showing this information. Please try again later.
- Grants
-
- Verifiably Correct Transactional Memory, EPSRC, 10/2018 to 09/2021, £397,680, as co-PI
- Verifying concurrent algorithms on Weak Memory Models, EPSRC, 05/2015 to 11/2018, £389,207, as Co-PI
- 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
- Professional activities and memberships
-
Head of the Verification research group