Biography

Peter has been using Unix since 1979, and started using Linux in 1992. He has contributed to many open source projects, over the years, but mostly on low-level system code. In recent years he has been helping to grow the open source community around seL4, and contributing to its ecosystem.

Presentations

Peter Chubb