Speaker - Lucy Parker
Biography
Lucy is an operating systems engineer in the Trustworthy Systems group and a student at UNSW. Her experience lies largely in designing and developing user level device drivers on top of the seL4 microkernel.
Presentations
- seL4 Core Platform: security and performance without the complexity – Wednesday 11:40 a.m.–12:25 p.m. in Clarendon Room A
