Speaker - Curtis Millar

Curtis is a research engineer in the Trustworthy Systems team at CSIRO's Data61 and an academic and student at UNSW Sydney. His experience is largely with Linux and system and kernel development with seL4. Outside of work, he is an avid tinkerer and has been engrossed in the world of Linux since 2008. Within the Trustworthy Systems team, he has worked on development of the seL4 microkernel, supporting the implementation and verification of real-time scheduling, mechanisms for removing micro-architectural timing channels. He also supports development of the kernel as general-purpose platform for operating systems development. At UNSW, he has been involved in the delivery of courses relating to operating systems development, safe software engineering, introductory programming, and cyber security. He has also been involved in the UNSW Security Society. Outside of work, Curtis has interests in hacking on Linux with Rust, cyber security, and has many projects relating to developing programming languages.