Professor Georg Struth

About

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.

Selected publications

• Moller F & Struth G (2013) Modelling Computing Systems. Springer London.
• PINCUS G, THIMANN KV & ASTWOOD EB (1964) Preface. Elsevier.
• Furusawa H, Guttmann W & Struth G (2026) On the inner structure of multirelations. Journal of Logical and Algebraic Methods in Programming, 148.
• Amrane A, Bazille H, Bernardinello L, Chatain T, Esparza J, Fahrenberg U, Ferigato C, Hélouët L, Johansen C, Koutny M , Mikulski Ł et al (2026) Preface by the PHOCON 2026 Chairs. Ceur Workshop Proceedings, 4236.
• Struth G & Ziemiański K (2025) Presheaf automata. Annals of Pure and Applied Logic, 103660-103660.
• Calk C, Malbos P, Pous D & Struth G (2025) Higher catoids, higher quantales and their correspondences. Applied Categorical Structures, 33(4). View this article in WRRO
• Furusawa H, Guttmann W & Struth G (2025) Modal algebra of multirelations. Journal of Logic and Computation, 35(3).
• Huerta y Munive JJ, Foster S, Gleirscher M, Struth G, Pardillo Laursen C & Hickman T (2024) IsaVODEs: interactive verification of cyber-physical systems at scale. Journal of Automated Reasoning, 68(4). View this article in WRRO
• Malbos P, Massacrier T & Struth G (2024) Single-set cubical categories and their formalisation with a proof assistant. Journal of Automated Reasoning, 68(4). View this article in WRRO
• Furusawa H, Guttmann W & Struth G (2024) Determinism of multirelations. Journal of Logical and Algebraic Methods in Programming, 139, 100976-100976.