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

More contact information is available at the Contact page.

Photo of Callum Bannister



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.