Dr. Walter Guttmann

Ehemaliger Mitarbeiter des Instituts für Programmiermethodik und Compilerbau.
Seit Juli 2012 Lecturer an der University of Canterbury.
E-Mail: walter.guttmann (at) canterbury.ac.nz
Webseite: http://www.csse.canterbury.ac.nz/walter.guttmann/
Forschungsinteressen
- Algebra of Computing
- formale Methoden der Softwaretechnik
- Korrektheit und Verifikation von Softwaremodellen
- Programmtransformation
- Semantik von Spezifikations- und Programmiersprachen
Veröffentlichungen
- 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 (mit G. Struth, T. Weber), ICFEM 2011
- Fixpoints for General Correctness, JLAP 80(6):248-265, 2011
- A Repository for Tarski-Kleene Algebras (mit 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 (mit 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 (mit J. Kohlmeyer), PSI 2009
- ... alle Veröffentlichungen
Programmierwettbewerbe
- ACM ICPC in Ulm, in Deutschland, in Nordwest-Europa, Weltmeisterschaft
- Internet Problem Solving Contest IPSC
- GI informatiCup