Dr Callum Bannister

Research Fellow

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
c.bannister@uq.edu.au
+61 7 336 51127

Overview

Qualifications

  • Doctor of Philosophy, University of New South Wales

Publications

  • 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

View all Publications

Publications

Conference Publication

  • 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