Corey Lewis
Principal Proof Engineer at seL4 Foundation
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolCorey Lewis is a Principal Proof Engineer based in Sydney with 13 years of experience applying formal methods to secure, high-assurance systems. He has progressed from research roles at NICTA and CSIRO's Data61 to senior and principal positions at UNSW and Proofcraft, bringing deep expertise in mechanised proofs and verification to real-world kernels. As an active member of the seL4 community and a Technical Steering Committee member of the seL4 Foundation, he has made substantive kernel-level contributions—refactoring and hardening message-passing and reply-handling code in the widely used seL4 microkernel. His background in advanced mathematics (First Class Honours) underpins a rigorous, correctness-first approach to system design and verification. Colleagues rely on him to turn intricate concurrency and capability-management problems into auditable, maintainable implementations.
13 years of coding experience
12 years of employment as a software developer
UNSW Sydney
Github Skills (9)
c1710
macos10
c1110
microkernel10
sel410
osdev10
system-design9
software-design9
sys9
Programming languages (11)
Github contributions (5)
seL4/seL4
Apr 2018 - Jan 2022
The seL4 microkernel
Role in this project:
Back-end Developer
Back-end DeveloperContributions:50 reviews, 10 commits, 4 PRs in 3 years 10 months
Contributions summary:Corey primarily refactored and modified core kernel code, specifically focusing on message-passing capabilities (MCS). Their contributions included refactoring functions like `reply_push`, `reply_pop`, and `reply_remove` for improved structure and easier verification. They also addressed issues related to thread states and finalising reply caps, enhancing the robustness of the seL4 microkernel. The user's work appears to be focused on ensuring the stability and correctness of the kernel's inter-process communication mechanisms.
microkernelsel4sel4-microkernelos
corlewis/seL4
Oct 2020 - Aug 2025
The seL4 microkernel
Contributions:36 pushes, 21 branches in 4 years 10 months
microkernelsel4-microkerneljlinksel4microcontrollers
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.