Gernot Heiser
Chief Scientific Officer at seL4
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolGernot Heiser is a computer scientist and technology leader specializing in secure, provably-correct microkernel operating systems; he is Chief Scientific Officer at Neutrality and Scientia Professor and John Lions Chair at UNSW. He founded and led an internationally recognised OS research group that produced the world-first formally verified seL4 microkernel and shepherded its commercial predecessors into billions of devices via Open Kernel Labs, with L4 technology still present in recent Apple secure enclaves. His career uniquely bridges deep formal-methods research, embedded-systems engineering and startup scale-up, including reestablishing a Trustworthy Systems team at UNSW to transition research into real-world deployments. He also brings an unusual cross-disciplinary background—early work on multi-dimensional silicon solar-cell simulation—and holds fellowships in the ACM, IEEE, ATSE and the Royal Society of NSW.
9 years of coding experience
18 years of employment as a software developer
BSc, Physics, BSc, Physics at The University of FreiburgAbitur, Math-Nat, Abitur, Math-Nat at Markgräfler Gymnasium MüllheimMSc, Physics, MSc, Physics at Brock UniversityPhD, Computer Science, PhD, Computer Science at ETH Zürich
German, English
Github Skills (38)
verification10
proof10
docstrings10
idris10
sel410
microkernel9
documentation9
core-platform8
benchmarks7
sml7
kernel6
operating-system6
benchmarking6
github-ci6
microcontrollers5
Programming languages (8)
Github contributions (5)
seL4/whitepaper
Jun 2020 - Jan 2025
Source for the seL4 white paper
Contributions:5 reviews, 5 PRs, 20 pushes in 4 years 7 months
white-paperwhitesel4microkernelos
seL4/website
Aug 2020 - Aug 2022
The seL4.systems website
Contributions:67 reviews, 215 commits, 148 PRs in 1 year 11 months
microkernelsel4verification
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.