Prof Heiser is one of the best mentor in this field. I was taught by him 25 years ago in CS3231, and what he taught still lingers in my head until now!
Whoa, I remember reading about seL4, and telling my dad about it when I was probably 20, and now there's full classes about it online. I'm thrilled to see the progress in accessibility. I'm glad to see such a cool technology again .
Theres a whole bunch of prerequisites to take this course, and its generally recommended to wait until later in your degree to take it as its very challenging. Im in my 2nd year of software engineering at unsw, still havnt met all the preqeqs. I cant wait though, it looks like a great course!
The prereqs at UNSW, wherebthis course is taught, are at least: - introduction to programming (in C) - computer systems fundamentals (MIPS Assembly programming, unix system interface, more C) - data structures and algorithms (and more C) - operating systems (also mostly using C)