معرفی
Gernot Heiser is Scientia Professor and John Lions Chair of Operating Systems at the University of New South Wales (UNSW) in Sydney, Australia, leading the Trustworthy Systems research group focused on mathematically proven secure systems development.
His research centers on operating systems, real-time systems, security, and safety through formal verification methodologies, pioneering the world's first fully verified general-purpose microkernel (seL4) with machine-checked proofs of implementation correctness, timeliness, and security enforcement. This work bridges theoretical formal methods with practical system security for critical infrastructure.
Professor Heiser's accolades include:
- ACM Fellow for contributions to high-assurance systems
- IEEE Fellow for leadership in secure operating systems
- ATSE Fellow for technology and engineering excellence
- 2019 ACM SIGOPS Hall of Fame Award for the seL4 microkernel breakthrough
He maintains significant industry impact through co-founding Open Kernel Labs (acquired by General Dynamics in 2012), whose OKL4 Microkernel shipped in billions of mobile chips and iOS secure enclaves. Current roles include Chief Scientist at HENSOLDT Cyber (Munich) and Chief Scientific Officer at Neutrality (Geneva), while founding chairman of the seL4 Foundation drives ecosystem development for security-critical deployments.
Leading UNSW's Trustworthy Systems group, he champions rigorous research quality over publication quantity, producing high-impact work averaging 100+ citations per paper within five years, and frequently mentors junior researchers on achieving academic excellence through methodological precision.
