Skip to main content

Callum Bannister
Proof Engineer; UNSW

Research Interests

Callum's research interests are in functional programming and formal verification. His current work is in separation logic.

Contact Details

More contact information is available at the Contact page.

Photo of Callum Bannister

Publication List


Data61 Papers


Abstract PDF Callum Bannister and Peter Hoefner
False failure: Creating failure models for separation logic
17th International Conference on Relational and Algebraic Methods in Computer Science, pp. 263-279, Groningen, October, 2018
Abstract PDF Callum Bannister, Peter Hoefner and Gerwin Klein
Backwards and forwards with separation logic
International Conference on Interactive Theorem Proving, pp. 68–87, Oxford, July, 2018

NICTA Papers


PDF Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell
Formally verified system initialisation
Proceedings of the 15th International Conference on Formal Engineering Methods, pp. 70–85, Queenstown, New Zealand, October, 2013

Served by Apache on Linux on seL4.