Curtis Millar
Software Engineer at Apple
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolCurtis Millar is a software engineer based in Sydney with 10 years’ experience building low-level, trustworthy systems and teaching computer science. He has worked on the seL4 microkernel at Data61—contributing architecture-specific fixes, ARMv6 support, and kernel refactors—and now applies that systems expertise at Apple. Curtis combines hands-on kernel and backend development with academic experience as a lecturer and course administrator across operating systems, security, and functional programming. A self-taught tinkerer turned research engineer, he’s comfortable navigating both hardware-adjacent code and higher-level course design, and often spots subtle correctness and portability issues before they reach production.
10 years of coding experience
3 years of employment as a software developer
Certificate IV in Information Technology Networking, Information Technology, Certificate IV in Information Technology Networking, Information Technology at TAFE NSW – Western Sydney InstituteBachelor of Science (BSc), Computer Science, Distinction, Bachelor of Science (BSc), Computer Science, Distinction at UNSW AustraliaHigher School Certificate, ATAR 84, Higher School Certificate, ATAR 84 at Penrith Academic Selective High SchoolUNSW Sydney
English
Github Skills (15)
kernel10
arm10
low-level-programming10
assembly10
internals10
c-programming10
architectures10
microkernel10
assemble10
sel410
assembler10
architecture10
sys9
risc-v9
embedded9
Programming languages (13)
Github contributions (5)
seL4/seL4
Aug 2018 - Sep 2021
The seL4 microkernel
Role in this project:
Back-end Developer
Back-end DeveloperContributions:111 reviews, 129 commits, 55 PRs in 3 years 1 month
Contributions summary:Curtis primarily focused on low-level kernel development within the seL4 microkernel, specifically addressing architecture-specific issues and optimizations. Their contributions involved correcting and removing erroneous `const` attributes from void functions, improving the storage of TLS_BASE values, and refactoring code for clarity and architecture-specific compatibility. The user also added support for new hardware and implemented macros to handle message registers on ARMv6, reflecting their deep involvement in system-level programming and kernel internals.
microkernelsel4-microkernelsel4os
xurtis/seL4
Jul 2019 - Sep 2021
The seL4 microkernel
Contributions:1 review, 4 PRs, 98 pushes in 2 years 1 month
microkernelsel4-microkernelsel4
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.