About
Brae J. Webb is affiliated with The University of Queensland, specifically within the School of Information Technology and Electrical Engineering, Department of Computer Science. He actively contributes to research in programming languages and formal verification, with a focus on compiler correctness and mechanized reasoning.
His research interests include formal verification, programming languages, compiler correctness, software engineering, term graph optimization, and Isabelle/HOL. He applies these in the context of mechanized reasoning and automated testing of compiler optimizations.
The recent publications highlight a strong trend in formal methods applied to compiler and optimization verification, using proof assistants like Isabelle/HOL and empirical techniques such as differential testing. These works reflect a rigorous, tool-driven approach to ensuring software correctness at the foundational level.
Brae has not received any explicitly mentioned scientific awards in the provided text.
He is involved in academic teaching and mentoring, notably through developing course materials for CSSE1001 (Introduction to Software Engineering) and maintaining open-source tools like chalkbox for automated assignment processing. While no formal advisees are listed, his educational contributions suggest an active role in student support and curriculum development. No specific grants are mentioned, but his conference participation indicates ongoing research activity likely supported by institutional or collaborative funding.
Brae J. Webb contributes to research teams and open-source projects, including tools used in UQ's ITEE courses. His GitHub presence (68 repositories, 35 stars) reflects active engagement in software development, education, and research tooling within the academic community.
