Callum Bannister

Dr. Callum Bannister is an Honorary Research Fellow at the School of Electrical Engineering and Computer Science, University of Queensland. His research focuses on Cyber Security and Software Engineering, with publications in formal methods and distributed systems. He can be reached at c.bannister@uq.edu.au.

Research Interests: Dr. Bannister explores the intersection of theoretical computer science and practical security applications. His work includes formal logic frameworks for system verification, distributed systems' contextual analysis, and algebraic structures in programming semantics. These areas aim to enhance software reliability and cybersecurity through rigorous mathematical foundations.

Research Trends in Publications: His recent work emphasizes formal methods applied to distributed systems and quantum computing contextuality, alongside algebraic approaches in separation logic for program analysis.

Advising and Grants: No advising or grant details are publicly listed. His contributions are primarily via research publications.