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

Projects

Current

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.
Served by Apache on Linux on seL4.