|
|
I am a senior researcher at NICTA in the ERTOS (Embedded Real-Time, Operating Systems) group, where we are working on developing a flexible operating system framework for trustworthy embedded 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 the CAmkES (Component Architecture for microkernel-based Embedded Systems) and Trustworthy Embedded Systems project pages.
Recently I spent 9 months visiting the Systems group at ETH Zurich, working on the Barrelfish project.
Before starting my work at NICTA, I was a PhD student in the Netherlands, where I worked on research related to the Globe wide-area distributed system project.
Former PhD students who I have (co-)supervised:
Furthermore I regularly supervise undergrad thesis students. If you are interested in doing undergrad research in ERTOS then please visit our thesis page or our summer project page.