Walter Guttmann - Academic Staff - People - Computer Science and Software Engineering - University of Canterbury - New Zealand
Walter Guttmann

Walter Guttmann

Position

Senior Lecturer

Qualifications

Dipl.-Inf., Dr. rer. nat., PD

Contact details

Room: Erskine 300
Email: walter.guttmann@canterbury.ac.nz
Phone: +64 3 364 2987 ext: 7769
Fax: +64 3 364 2569

Postal address

Computer Science and Software Engineering
University of Canterbury
Private Bag 4800
Christchurch 8140
New Zealand

Courses

  • COSC121 (2016-2, 2015-1, 2013-2, 2012-2)
  • COSC261 (2016-1, 2015-1, 2014-1, 2013-1)
  • SENG365 (2014-2, 2013-2, 2012-2)
  • COSC432 (2016-2, 2014-2, 2013-2 as COSC473)

Supervision

  • COSC261 (2016-1, 2015-1, 2014-1, 2013-1)
  • COSC432 (2016-2, 2014-2, 2013-2 as COSC473)
  • COSC460 (2014, 2013)

Research interests

Programme committee memberships

Recent publications

  • ... all publications
  • Relation-algebraic verification of Prim's minimum spanning tree algorithm, ICTAC 2016
  • Stone Algebras, AFP, 2016
  • An Algebraic Approach to Computations with Progress, JLAMP 85(4):520-539, 2016
  • Kleene Algebras with Domain (with V. B. F. Gomes, P. Höfner, G. Struth, T. Weber), AFP, 2016
  • Closure, Properties and Closure Properties of Multirelations (with R. Berghammer), RAMiCS 2015
  • A Relation-Algebraic Approach to Multirelations and Predicate Transformers (with R. Berghammer), MPC 2015
  • Infinite executions of lazy and strict computations, JLAMP 84(3):326-340, 2015
  • Algebras for Correctness of Sequential Computations, SCP 85(B):224-240, 2014
  • Extended Conscriptions Algebraically, RAMiCS 2014
  • Multirelations with Infinite Computations, JLAMP 83(2):194-211, 2014
  • 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

Programming contests

  • Phone: +64 3 364 2362
    Fax: +64 3 364 2569
    admin@cosc.canterbury.ac.nz
  • Computer Science and Software Engineering
    University of Canterbury
    Private Bag 4800, Christchurch
    New Zealand
  • Follow us
    FacebookYoutubetwitterLinked In