Research Interests

Julia is working on implementing additional time protection mechanisms on top of seL4; this involves work on the seL4 kernel and userspace, as well as FPGA work on our RISC-V SOC Serengeti to extend 'fence.t' with other features. She is also the current co-maintainer of the seL4 Microkit. Other work includes the Multikernel variant of seL4, assisting colleagues, and improving the sDDF.

More contact information is available at the Contact page.