seL4 in Australia

Gernot Heiser is chief research scientist at CSIRO Data61 and Scientia Professor and John Lions Chair at UNSW Sydney, Australia. Gerwin Klein is chief research scientist at CSIRO Data61 and a conjoint professor at UNSW Sydney, Australia. June Andronick is chief research scientist at CSIRO Data61 and a conjoint associate professor at UNSW Sydney, Australia.