Speaker - Ivan Velickovic

Ivan Velickovic is a junior operating systems engineer at the Trustworthy Systems research group at UNSW Sydney. His current work is primarily on virtualisation and device drivers on the seL4 microkernel. His current goal is to use and develop a minimal OS on top of seL4 called the seL4 Core Platform to enable reliable and performant virtual machines and device drivers. Prior to this work, Ivan completed his Bachelor's in Computer Science at UNSW Sydney.