Dr. Walter Guttmann

Former member of the institute of software engineering and compiler construction.
Since July 2012 lecturer at the University of Canterbury.

e-mail: walter.guttmann (at) canterbury.ac.nz
home page: http://www.csse.canterbury.ac.nz/walter.guttmann/

Algebra of Computing
Publications
Teaching

Programming Contests

Publications

  • Extended Designs Algebraically, SCP 78(11):2064-2085, 2013
  • Unifying Lazy and Strict Computations, RAMiCS 2012
  • Algebras for Iteration and Infinite Computations, Acta Informatica 49(5):343-359, 2012
  • Typing Theorems of Omega Algebra, JLAP 81(6):643-659, 2012
  • Unifying Correctness Statements, MPC 2012
  • Automating Algebraic Methods in Isabelle (with G. Struth, T. Weber), ICFEM 2011
  • Fixpoints for General Correctness, JLAP 80(6):248-265, 2011
  • A Repository for Tarski-Kleene Algebras (with G. Struth, T. Weber), ATE 2011
  • Towards a Typed Omega Algebra, RAMiCS 2011
  • Unifying Recursion in Partial, Total and General Correctness, UTP 2010
  • Imperative Abstractions for Functional Actions, JLAP 79(8):768-793, 2010
  • Partial, Total and General Correctness, MPC 2010
  • Normal Design Algebra (with B. Möller), JLAP 79(2):144-173, 2010
  • General Correctness Algebra, RelMiCS/AKA 2009
  • Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams (with J. Kohlmeyer), PSI 2009
  • ... all publications

Research interests

  • Algebra of Computing
  • correctness and verification of software models
  • formal methods of software engineering
  • program transformation
  • semantics of specification and programming languages