Walter Guttmann
Position
Lecturer
Qualifications
Dipl.-Inf., Dr. rer. nat.
Contact details
Room: Erskine 300
Email: {first name}.{last name}@canterbury.ac.nz
Phone: +64 3 364 2987 ext: 7769
Fax: +64 3 364 2569
Postal address
Department of Computer Science and Software Engineering
College of Engineering
University of Canterbury
Private Bag 4800
Christchurch 8140
New Zealand
Courses
- COSC121 (2013-2, 2012-2)
- COSC261 (2013-1)
- SENG365 (2013-2, 2012-2)
- COSC473 (2013-2): preliminary course outline
Supervision
Research interests
- Algebra of Computing
- correctness and verification of software models
- formal methods of software engineering
- program transformation
- semantics of specification and programming languages
Recent publications
- Extended Designs Algebraically, SCP, to appear 2012
- 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
Programming contests
- ACM ICPC World Finals, South Pacific Region, New Zealand, ANZAC League
- Internet Problem Solving Contest IPSC