Callum's research interests are in functional programming and formal verification. His current work is in separation logic.
|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
||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