Brae Webb

Associate Lecturer · UQ Experts (university-wide) · The University of Queensland

Quick answer: Brae Webb is Associate Lecturer at The University of Queensland. Brae Webb shows an active PhD hiring signal as of 2026-09-17.

⭐ Available for supervision

Research interests

Formal methods for software, Information and Computing Sciences, Programming languages, Software architecture, Software engineering

Selected publications (since 2023)

[2025] Verifying GraalVM compiler optimizations. Webb, Brae (2025). Verifying GraalVM compiler optimizations. PhD Thesis, School of Electrical Engineering and Computer Science, The University of Queensland. doi: 10.14264/e89ec0c [2024] Software Architecture (3rd Edition). Thomas, Richard, Webb. Brae and Hughes, Evan (2024). Software Architecture (3rd Edition). Brisbane, QLD, Australia: GitHub; The University of Queensland. [2023] Differential testing of a verification framework for compiler optimizations (Case study). Utting, Mark, Webb, Brae J. and Hayes, Ian J. (2023). Differential testing of a verification framework for compiler optimizations (Case study). IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), Melbourne, VIC Australia, 14-15 May 20

Faculty homepage More professors at The University of Queensland

Frequently asked questions

Is Brae Webb hiring PhD students at The University of Queensland?

Yes. As of 2026-09-17, Brae Webb's faculty page shows a PhD hiring signal: Available for supervision.

What does Brae Webb research?

Formal methods for software, Information and Computing Sciences, Programming languages, Software architecture, Software engineering

Data last updated: 2026-09-17 · Source: phd-match.com faculty database.

Is Brae Webb a match for your research?

Upload your CV and get matched to professors who fit — with hiring signals.

Start matching