Dr. David Cock wins ACM SIGOPS 2019 Hall of Fame award
Dr. David Cock, a postdoctoral researcher at the Institute for Computing Platforms, received the ACM SIGOPS 2019 Hall of Fame award for a paper he co-authored ten years ago.
David Cock, along with his co-authors Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood, won the ACM SIGOPS 2019 Hall of Fame award for a paper titled "seL4: formal verification of an OS kernel". The paper was published ten years ago at SOSP 2009.
The seL4 project was the first to provide a machine-checked proof of correctness and security properties of a high-performance microkernel. The authors' work has become the basis for a large amount of subsequent work in provably correct systems.
About David Cock
David Cock completed his PhD at the University of New South Wales & National ICT Australia. He joined the Institute for Computing Platforms at the Department of Computer Science at ETH Zurich, also known as the Systems Group, in January 2015.