Skip to main content

Joel Beeren
Research Engineer

Research Interests

Joel's research interests include the application of formal mathematical principles (especially number theoretic concepts) to computing design, as well as the use of formal methods in operating systems.

Contact Details

More contact information is available at the Contact page.

Photo of Joel Beeren



Career Summary

Research Assistant (2011-2013)


Bachelor of Science (Mathematics) (First Class Honours and the University Medal), UNSW Bachelor of Science (Computer Science), UNSW

NICTA Papers


Abstract PDF Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby Murray, Gerwin Klein and Gernot Heiser
Cogent: verifying high-assurance file system implementations
International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 175–188, Atlanta, GA, USA, April, 2016