# Walter Guttmann

> German-New Zealand theoretical computer scientist

**Wikidata**: [Q102339640](https://www.wikidata.org/wiki/Q102339640)  
**Source**: https://4ort.xyz/entity/walter-guttmann

## Summary
Walter Guttmann is a German-New Zealand theoretical computer scientist born in 1977. He is an Associate Professor at the University of Canterbury and is known for his academic contributions, including his doctoral thesis on Isabelle/HOL Theories of Algebras for Iteration.

## Biography
- Born: 1977
- Nationality: German, New Zealand
- Education: Ulm University, University of Canterbury (for doctoral thesis)
- Known for: Theoretical computer science, doctoral thesis "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations"
- Employer(s): University of Canterbury (Associate Professor, since 2012), Ulm University (2002-2010, 2011-2012), University of Sheffield (Visiting Professor, 2010-2011)
- Field(s): Theoretical computer science

## Contributions
Walter Guttmann's academic contributions center on theoretical computer science. A significant work is his doctoral thesis, titled "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations." This thesis, advised by Helmut A. Partsch and Gunther Schmidt, explores formal methods using Isabelle/HOL to analyze and verify computational processes, particularly focusing on iteration and the correctness of sequential computations. This research contributes to the foundational understanding and reliability of computer systems.

Beyond his doctoral work, Guttmann has held various academic positions, contributing to research and education at multiple institutions. He has been an Associate Professor at the University of Canterbury since July 6, 2012, where he continues to contribute to the field. Prior to this, he was affiliated with Ulm University from January 2002 to March 2010, and again from April 2011 to June 2012. He also served as a Visiting Professor at the University of Sheffield from April 2010 to March 2011. These roles indicate his sustained engagement in academic research and teaching within computer science.

## FAQs
### Q: What is Walter Guttmann's primary occupation?
A: Walter Guttmann is a theoretical computer scientist. He holds the position of Associate Professor at the University of Canterbury.

### Q: Where did Walter Guttmann receive his education?
A: Walter Guttmann was educated at Ulm University and the University of Canterbury, where he completed his doctoral thesis.

### Q: What is the title of Walter Guttmann's doctoral thesis?
A: Walter Guttmann's doctoral thesis is titled "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations."

### Q: Which institutions has Walter Guttmann been affiliated with as an employer?
A: Walter Guttmann has been employed by the University of Canterbury, Ulm University, and the University of Sheffield.

## Why They Matter
As a theoretical computer scientist, Walter Guttmann contributes to the foundational understanding and formal verification aspects of computation. His doctoral research, "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations," is significant for its application of formal methods to ensure the reliability and correctness of software and systems. This work advances the academic discourse on program verification and the theoretical underpinnings of computer science.

His long-standing academic career, including roles as an Associate Professor at the University of Canterbury and previous affiliations with Ulm University and the University of Sheffield, demonstrates a sustained commitment to research and education. Through these positions, he contributes to shaping the next generation of computer scientists and expanding the body of knowledge in his field. His efforts in theoretical computer science are crucial for developing robust and dependable computational models, which are essential for technological progress.

## Notable For
*   German-New Zealand theoretical computer scientist.
*   Author of the doctoral thesis "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations."
*   Associate Professor at the University of Canterbury since 2012.
*   Doctoral advisor Gunther Schmidt, a notable computer scientist and mathematician.

## Body
### Personal Information
*   **Name**: Walter Guttmann
*   **Aliases**: W Guttmann
*   **Birth Year**: 1977
*   **Nationality**: German, New Zealand
*   **Sex/Gender**: Male
*   **Wikidata Description**: German-New Zealand theoretical computer scientist

### Education
*   **Institutions**:
    *   Ulm University
    *   University of Canterbury (for doctoral thesis)
*   **Doctoral Thesis**: "Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations"
    *   **Type**: Doctoral thesis
    *   **Doctoral Advisors**: Helmut A. Partsch, Gunther Schmidt

### Career
*   **Occupation**: Computer scientist
*   **Employer History**:
    *   **University of Canterbury**: Associate Professor (start date: 2012-07-06)
    *   **Ulm University**: (start date: 2011-04-00, end date: 2012-06-00)
    *   **University of Sheffield**: Visiting Professor (start date: 2010-04-00, end date: 2011-03-00)
    *   **Ulm University**: (start date: 2002-01-00, end date: 2010-03-00)

### Identifiers
*   **ISNI**: 0000000023116621
*   **GND ID**: 133841278
*   **VIAF ID**: 45503431
*   **MR Author ID**: 797756
*   **DBLP Author ID**: g/WalterGuttmann
*   **zbMATH Author ID**: guttmann.walter
*   **DDB Person (GND) ID**: 133841278
*   **Library of Congress Authority ID**: nb2018022136
*   **Mathematics Genealogy Project ID**: 124670
*   **Maintained by WikiProject**: WikiProject Mathematics
*   **On Focus List of Wikimedia Project**: NZThesisProject

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Walter Guttmann",
  "jobTitle": "Theoretical Computer Scientist",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Canterbury"
  },
  "nationality": [
    {"@type": "Country", "name": "Germany"},
    {"@type": "Country", "name": "New Zealand"}
  ],
  "birthDate": "1977",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Ulm University"},
    {"@type": "EducationalOrganization", "name": "University of Canterbury"}
  ],
  "knowsAbout": ["Theoretical computer science"],
  "sameAs": [
    "https://isni.org/isni/0000000023116621",
    "https://d-nb.info/gnd/133841278",
    "https://viaf.org/viaf/45503431",
    "https://mathscinet.ams.org/mathscinet/MRAuthorID/797756",
    "https://dblp.org/pid/g/WalterGuttmann",
    "https://zbmath.org/authors/?q=an:guttmann.walter",
    "https://id.loc.gov/authorities/names/nb2018022136",
    "https://mathgenealogy.org/id.php?id=124670"
  ],
  "description": "German-New Zealand theoretical computer scientist and Associate Professor at the University of Canterbury."
}

## References

1. Integrated Authority File
2. Mathematics Genealogy Project
3. Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/5419928)
5. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461265)
6. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461261)
7. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0003-2969-1688/employment/1461258)
8. Virtual International Authority File