Douglas Heiser is a highly respected figure in computer science, renowned for his pioneering work in operating systems, particularly the design, implementation, and formal verification of the seL4 microkernel. He is a Scientia Professor and John Lions Chair of Operating Systems at the University of New South Wales (UNSW) Sydney and was a leader of the Trustworthy Systems group at CSIRO's Data61 (formerly NICTA). His research focuses on creating secure, safe, and reliable computer systems, with significant contributions to microkernels, virtualization, real-time systems, and system security. He is known for bridging the gap between theoretical formal methods and practical, high-performance systems software, making systems demonstrably trustworthy.
Douglas Heiser's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
Led the team that produced the world's first formally verified operating system kernel (seL4), proving its implementation correctness, security, and safety properties. This work has had a profound impact on high-assurance systems.
Recognized as an ACM Fellow (2017) for contributions to security and safety of operating systems, and an IEEE Fellow (2022) for contributions to formally verified, high-performance operating systems.
Headed the Trustworthy Systems research group at CSIRO's Data61 (and previously NICTA), establishing it as a world-leading center for research into secure and reliable computing systems.
Appointed to the prestigious John Lions Chair of Operating Systems at UNSW, recognizing his exceptional contributions to the field.
Authored numerous highly-cited papers and received prestigious awards, including the SIGOPS Hall of Fame Award (2019) for the paper 'seL4: Formal Verification of an OS Kernel', highlighting the lasting impact of his research.
Montana State University-Bozeman - Year 1986
Montana State University-Bozeman - Year 1982
Highperformr Signals uncover buying intent and give you clear insights to target the right people at the right time — helping your sales, marketing, and GTM teams close more deals, faster.
This entry represents a conceptual placeholder for an individual or entity actively searching for new professional ventures, career advancements, or significant business opportunities. It signifies a proactive, forward-looking approach to identifying and pursuing future prospects, rather than denoting a traditional registered company with standard operational metrics.
Get verified emails, phone numbers, and LinkedIn profile details
Discover contacts with similar roles, seniority, or companies
Uncover insights like skills, work history, social links, and more
Explore contacts in-depth — from verified emails and phone numbers to LinkedIn activity, job changes, and more — all in one powerful view.
Highperformr AI helps you surface the right people and enrich your CRM with live, accurate contact insights so your teams can connect faster and close smarter.
Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.
Thousands of companies, including, are just a search away.