Skip to main content

Callum Bannister

Callum Bannister
PhD Student

Research Interests

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

Contact Details

Phone: +61 2 9490 5869
Email:Callum.Bannister@data61.csiro.au

More contact information is available at the Contact page.

Photo of Callum Bannister

Publication List

Projects

Current

Publications

Data61 Papers

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

2013

Abstract
Slides
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.