|
|
I am currently 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 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) project page
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.
I (co-)supervise a number of PhD students:
Former 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.