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

TEACHING & SUPERVISION

  • RESEARCH-BASED DEGREE SUPERVISION
    Comparative Evaluation of Cloud Native Agent Frameworks for Geospatial AI Applications
    1 Jan 2026 - 31 Dec 2026
    Tingley, William
  • COURSE TAUGHT
    Computer Programming
    1 Jan 2026 - 31 Dec 2026
    COSC480
  • RESEARCH-BASED DEGREE SUPERVISION
    Robust Navigation Using AI and Sensor Fusion
    1 Jan 2026 - 31 Dec 2026
    Copley, Sophia
  • RESEARCH-BASED DEGREE SUPERVISION
    Volition
    1 Jan 2026 - 31 Dec 2026
    Fagotra, Yuvraj
  • RESEARCH-BASED DEGREE SUPERVISION
    Automated Network Security Assessment
    1 Jan 2025 - 31 Dec 2025
    Antonets, Sergey
  • RESEARCH-BASED DEGREE SUPERVISION
    Creating a Domain-Specific Language for Swimming
    1 Jan 2025 - 31 Dec 2025
    Parkes, Harrison
  • RESEARCH-BASED DEGREE SUPERVISION
    Enhanced Structure from Motion with Laser Distance Measurement and Geo-Located Images
    1 Jan 2025 - 31 Dec 2025
    Hockey, Stephen
  • RESEARCH-BASED DEGREE SUPERVISION
    Improving 3D Point Cloud of Stereo Images using Laser EDM
    1 Jan 2025 - 31 Dec 2025
    Sharma, Aditi
  • RESEARCH-BASED DEGREE SUPERVISION
    Supporting Prover9 in Isabelle/HOL
    1 Jan 2025 - 31 Dec 2025
    Lockett, Zak
  • RESEARCH-BASED DEGREE SUPERVISION
    Formal Analysis of Consensus Protocols
    1 Aug 2024
    Zhuo, Xilong
  • RESEARCH-BASED DEGREE SUPERVISION
    A General Framework for Order-Statistic Trees
    1 Jan 2024 - 31 Dec 2024
    Widogast, Alex
  • RESEARCH-BASED DEGREE SUPERVISION
    Brand Managers in Media Entertainment: A Web Application to Streamline Product Placement
    1 Jan 2024 - 31 Dec 2024
    Meneghini, Ben
  • RESEARCH-BASED DEGREE SUPERVISION
    Set Designers Product Permission Application
    1 Jan 2024 - 31 Dec 2024
    Doonan, Matthew
  • RESEARCH-BASED DEGREE SUPERVISION
    Learning Tools for Combinatory Logic
    1 Jan 2021 - 31 Dec 2021
    Craig, Jack
  • COURSE TAUGHT
    Research Methods in Computer Science and Software Engineering
    1 Jan 2021 - 31 Dec 2021
    COSC469
  • COURSE TAUGHT
    Logic, Automata, and Computability
    1 Jan 2020 - 31 Dec 2021
    MATH230
  • COURSE TAUGHT
    Research Project
    1 Jan 2020 - 31 Dec 2024
    COSC470
  • RESEARCH-BASED DEGREE SUPERVISION
    Speech Analysis Application
    1 Jan 2020 - 31 Dec 2020
    Field, Claudia
  • RESEARCH-BASED DEGREE SUPERVISION
    Supporting Prover9 in Isabelle/HOL
    1 Jan 2020 - 31 Dec 2020
    Parkinson, Luke
  • RESEARCH-BASED DEGREE SUPERVISION
    Tool for Relational Programs on Weighted Graphs Final Report
    1 Jan 2020 - 31 Dec 2020
    Sharplin, Oliver
  • RESEARCH-BASED DEGREE SUPERVISION
    A formal correctness proof of Borůvka’s minimum spanning tree algorithm
    16 Jun 2018 - 11 Aug 2020
    Robinson-O'Brien, Nicolas
  • COURSE TAUGHT
    Software Engineering Research Project
    1 Jan 2018 - 31 Dec 2026
    SENG402
  • RESEARCH-BASED DEGREE SUPERVISION
    Improving effort estimation for software maintenance in agile software development environments
    1 Aug 2017 - 2 Apr 2019
    Wimalasooriya, Chathrie
  • COURSE TAUGHT
    Algorithms
    1 Jan 2017 - 31 Dec 2025
    COSC262
  • COURSE TAUGHT
    Artificial Intelligence
    1 Jan 2017 - 31 Dec 2018
    COSC367