Research Areas
- algorithms and data structures
- computability and complexity
- correctness and verification of software models
- formal languages, grammars and automata
- formal methods of software engineering
- logic and theorem proving
- programming language concepts and compilers
- semantics of programs and specifications
Students
- Nicolas Robinson-O'Brien, MSc in Computer Science, 2020
Supervisor: Walter Guttmann - Sean Welsh, PhD in Philosophy, 2019
Supervisors: Jack Copeland, Michael-John Turp, Christoph Bartneck and Walter Guttmann - Logan Glasson, BSc(Hons) in Computer Science, 2017
Supervisor: Walter Guttmann - Jonathan Wardell Avery, BSc(Hons) in Computer Science, 2015
Supervisors: Kourosh Neshatian and Walter Guttmann
