Skip to main content

Joel Beeren

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

Email:Joel.Beeren@data61.csiro.au

More contact information is available at the Contact page.

Photo of Joel Beeren

Projects

Current

Past

Career Summary

Research Assistant (2011-2013)

Qualifications

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

NICTA Papers

2016

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

Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.