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

SERVICE & LEADERSHIP

  • JOURNAL REVIEWING / REFEREEING
    Foundations and Trends in Theoretical Computer Science
    1 Jan 2025 - 31 Dec 2025
  • CONFERENCE REVIEWING / REFEREEING
    International Colloquium on Automata, Languages, and Programming
    1 Jan 2025 - 31 Dec 2025
  • JOURNAL REVIEWING / REFEREEING
    Journal of Functional Programming
    1 Jan 2024 - 31 Dec 2024
  • CONFERENCE REVIEWING / REFEREEING
    Concurrency Theory
    1 Jan 2022 - 31 Dec 2022
  • CONFERENCE REVIEWING / REFEREEING
    Formal Structures for Computation and Deduction
    1 Jan 2021 - 31 Dec 2021
  • JOURNAL REVIEWING / REFEREEING
    Information and Computation
    1 Jan 2021 - 31 Dec 2021
  • JOURNAL REVIEWING / REFEREEING
    Algebra Universalis
    1 Jan 2020 - 31 Dec 2020
  • JOURNAL REVIEWING / REFEREEING
    Fuzzy Optimization and Decision Making
    1 Jan 2020 - 31 Dec 2020
  • JOURNAL REVIEWING / REFEREEING
    Logical Methods in Computer Science
    1 Jan 2020 - 31 Dec 2023
  • COMMITTEE MEMBERSHIP
    Relational and Algebraic Methods in Computer Science Steering Committee
    1 Jan 2020 - 31 Dec 2025
    Elected member
  • JOURNAL REVIEWING / REFEREEING
    Journal of Logical and Algebraic Methods in Programming
    1 Jan 2019 - 31 Dec 2021
  • CONFERENCE REVIEWING / REFEREEING
    Mathematics of Program Construction
    1 Jan 2019 - 31 Dec 2019
  • JOURNAL REVIEWING / REFEREEING
    Communications of the Korean Mathematical Society
    1 Jan 2018 - 31 Dec 2018
  • JOURNAL REVIEWING / REFEREEING
    Information Processing Letters
    1 Jan 2018 - 31 Dec 2018
  • COMMITTEE MEMBERSHIP
    Relational and Algebraic Methods in Computer Science Programme Committee
    1 Jan 2018
    Co-chair
  • JOURNAL REVIEWING / REFEREEING
    Theoretical Computer Science
    1 Jan 2018 - 31 Dec 2019
  • EVENT ADMINISTRATION
    Conference
    1 Jan 2017
    Pacific Rim International Symposium on Dependable Computing
  • MEMBERSHIP
    IFIP Working Group
    1 Jan 2015
    Elected member of IFIP Working Group 2.1
  • JOURNAL REVIEWING / REFEREEING
    Journal of Logical and Algebraic Methods in Programming
    1 Jan 2014 - 31 Dec 2017
  • COMMITTEE MEMBERSHIP
    Relational and Algebraic Methods in Computer Science Programme Committee
    1 Jan 2014 - 31 Dec 2024
    Member
  • CONFERENCE REVIEWING / REFEREEING
    Unifying Theories of Programming
    1 Jan 2014 - 31 Dec 2019
  • COMMITTEE MEMBERSHIP
    Unifying Theories of Programming Programme Committee
    1 Jan 2014 - 31 Dec 2019
    Member
  • JOURNAL REVIEWING / REFEREEING
    Journal of Logic and Computation
    1 Jan 2013 - 31 Dec 2013
  • CONFERENCE REVIEWING / REFEREEING
    Relational and Algebraic Methods in Computer Science
    1 Jan 2013 - 31 Dec 2026
  • JOURNAL REVIEWING / REFEREEING
    Journal of Mathematical Analysis and Applications
    1 Jan 2012 - 31 Dec 2012