Peter Chubb
Sydney, New South Wales, Australia
Summary
🤩
RockstarPeter Chubb is a seasoned project manager and software engineer based in Sydney with 24 years' experience specializing in UNIX and UNIX-related systems, including over 15 years of kernel development across commercial and open-source flavours such as Linux. He brings deep expertise in virtualization, system scalability, checkpoint/restart, virtual memory, and software security, paired with hands-on project management and contract negotiation skills. A committed mentor and public speaker, he regularly presents tutorials and talks on topics ranging from the Bourne Shell to SD card performance and innovative uses like treating databases as filesystems. Beyond code, he focuses on operational concerns including OH&S and delivering resilient, maintainable infrastructure. Colleagues rely on him to bridge low-level kernel mechanics with pragmatic delivery and team development, making complex system trade-offs accessible and actionable.
24 years of coding experience
English
Github Skills (200)
core-platform10
specification10
proofs10
isabelle10
idris10
websocket-client10
smt10
tlaplus10
teamcity10
calendars10
keybase10
verification10
docstrings10
microkernel10
icalendar10
Programming languages (21)
Github contributions (5)
seL4/machine_queue
Nov 2023 - Mar 2025
Machine Queue scripts for remote access to our CI system
Contributions:8 reviews, 7 PRs, 11 pushes in 1 year 4 months
wom-bat/sddf
May 2024 - May 2024
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Contributions:24 pushes, 4 branches in 13 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.