معرفی
Walter Guttmann is an Associate Professor in the Computer Science and Software Engineering department at the University of Canterbury. He specializes in the Algebra of Computing, focusing on software correctness, formal verification, and semantic models for programming languages.
- Research Grants include JSPS Fellowships (2019, 2015) and DAAD Postdoc Fellowship (2010-2011)
- Conference Involvement spans RAMiCS (2026 co-chair), UTP (2019), and MPC (2015)
His work bridges theoretical computer science with practical formal verification, particularly using Isabelle/HOL to mechanize proofs for graph algorithms like Prim's, Kruskal's, and Borůvka's. Recent publications formalize Stone relation algebras for weighted graph reasoning and develop modal algebras for concurrent dynamic logic.
Scientific awards include:
- JSPS Invitation Fellowship (2019, 2015)
- DAAD Postdoc Fellowship (2010-2011)
He has coordinated courses like COSC261, COSC432, and COSC470, contributing to both undergraduate and postgraduate computer science education.
