Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia
Curtis Millar
xurtis
Student at the school of Computer Science and Engineering at UNSW Sydney and engineer in the Trustworthy Systems Group ad Data61.
@seL4 NSW, Australia
Leonardo Andreta de Castro
leoadec
I work with the theory side of quantum computers
@qctrl Sydney, Australia
Toby Murray
tobycmurray
Associate Professor at University of Melbourne.
University of Melbourne Melbourne