UQ Cyber Research Centre

Dr Callum Bannister

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

Publications

Conference Papers (3)

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
Evangelou-Oost, Naso, Meinicke, Larissa, Bannister, Callum and Hayes, Ian J. (2023). Trace models of concurrent valuation algebras. 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, 21–24 November 2023. Singapore, Singapore: Springer Nature Singapore. doi: 10.1007/978-981-99-7584-6_8
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