Gernot Heiser
Scientia Professor And John Lions Chair at Secure Elements GmbH
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolGernot Heiser is a distinguished computer scientist and technology leader who has built and led world-class research groups in microkernel and formally verified operating systems for three decades. As Scientia Professor at UNSW, founding NICTA research leader, and current Chief Scientific Officer at Neutrality, he steers the transition of provably secure kernels like seL4 from academia into real-world deployments. His work underpins billions of mobile devices via L4 lineage and led the world-first formal verification of seL4, a milestone now supported by the seL4 Foundation. He combines deep systems research, startup creation (Open Kernel Labs), and industry-facing roles (HENSOLDT Cyber) to bridge rigorous formal methods with practical secure-hardware integration. A Fellow of ACM, IEEE, ATSE and the Royal Society of NSW, he uniquely pairs long-standing academic influence with entrepreneurial impact. Less obvious: his early interdisciplinary work included multidimensional device simulation for silicon solar cells, reflecting a rare blend of systems software and physical-device expertise.
10 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üllheimPhD, Computer Science, PhD, Computer Science at ETH ZürichMSc, Physics, MSc, Physics at Brock University
German, English
Github Skills (20)
verification10
proof10
sel410
documentation10
microkernel9
operating-system6
benchmarking6
device-driver5
sml5
hol4
formal-verification4
continuous-integration4
formal-semantics3
theorem-proving3
programming-language3
Programming languages (9)
Github contributions (5)
seL4/website
Aug 2020 - Aug 2022
The seL4.systems website
Contributions:72 reviews, 215 commits, 150 PRs in 1 year 11 months
microkernelsel4verification
BreakawayConsulting/platform-sel4-docs
Aug 2020 - Nov 2020
Documentation on a simple operating system platform to run on seL4
Contributions:38 pushes in 3 months
operating-systemsel4
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.