I am a senior research engineer at Data61 (which is a part of CSIRO) in the Trustworthy Systems group, where we are working on developing a flexible operating system framework for trustworthy systems. In this context my research interests include component architectures for embedded systems as well as reliability and trustworthiness aspects of (distributed) embedded systems.
More detailed information can be found on my Data61 page and specifically on the CAmkES (Component Architecture for microkernel-based Embedded Systems) and Trustworthy Systems project pages.
Before starting my work at NICTA and Data61, I was a PhD student in the Netherlands, where I worked on research related to the Globe wide-area distributed system project.
In 2010 I spent 9 months visiting the Systems group at ETH Zurich, working on the Barrelfish project.
Former PhD students who I have (co-)supervised:
I regularly supervise undergrad thesis students. If you are interested in doing undergrad research in Trustworthy Systems then please visit our thesis page or our summer project page and get in touch with me if you find something interesting.