Skip to main contentAll experts

DoctorWalter Guttmann

Associate Professor

Computer Science and Software Engineering

Orcid identifier0000-0003-2969-1688 (opens in a new tab)⁠
  • Associate Professor
    Computer Science and Software Engineering
  • +6433692451 (Work)
  • Jack Erskine 300

BIO

My research area is theoretical computer science with a focus on program semantics, correctness and verification providing the foundations for formal methods of software engineering.

TE WHARE WĀNANGA O WAITAHA - UNIVERSITY OF CANTERBURY APPOINTMENTS

  • Associate Professor
    University of Canterbury, Computer Science and Software Engineering, Faculty of Engineering6 Jul 2012 - present

DEGREES

  • Dipl.-Inf. (equivalent to MSc), Computer Science
    University of Ulm, Ulm, Germany
  • Dr. rer. nat. (equivalent to PhD), Computer Science
    University of Ulm, Ulm, Germany
  • PD (habilitation, post-doctoral degree), Computer Science
    University of Ulm, Ulm, Germany

FACULTY

  • Faculty of Engineering

GRADUATE RESEARCH SUPERVISION

  • Registered to supervise Master's/Doctoral students

FIELDS OF RESEARCH