UQ Cyber

Dr Callum Bannister

Research Fellow
School of Electrical Engineering and Computer Science
+61 7 336 51127
View researcher profile
Featured projects Duration
Design and verification of correct, efficient and secure concurrent systems
ARC Discovery Project
 2019–2022

Publications

Conference Papers (2)

Conference Papers

Evangelou-Oost, Nasos, Bannister, Callum and Hayes, Ian J. (2023). Contextuality in distributed systems. 20th International Conference, RAMiCS 2023, Augsburg, Germany, 3-6 April 2023. Cham, Switzerland: Springer International Publishing. doi: 10.1007/978-3-031-28083-2_4
Bannister, Callum, Höfner, Peter and Struth, Georg (2021). Effect algebras, girard quantales and complementation in separation logic. 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Marseille, France, 2-5 November 2021. Heidelberg, Germany: Springer. doi: 10.1007/978-3-030-88701-8_3