School of Electrical Engineering and Computer Science

Dr Callum Bannister

Honorary Research Fellow
School of Electrical Engineering & Computer Science

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

Areas of research

Cyber Security and Software Engineering