highperformr logo

Douglas Heiser

Director, Seeking the next great opportunity
Lone Tree, Colorado,United States
Find Douglas Heiser's Email
Find Douglas Heiser’s Phone

Douglas Heiser's Overview

Total Experience40 years
CompanySeeking the next great opportunity
CountryUnited States

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.

Professional Summary

Douglas Heiser's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:

Seeking the next great opportunity - Director (2024 to Present)
Travelport - Technical Product Manager (2020 to 2025)
Critigen - Senior Project Manager (2009 to 2012)
CH2M HILL - Project Manager/Application Architect (2007 to 2009)
INL - Idaho National Laboratory - Software Architect, Project Manager, Advisory Engineer (1988 to 2007)

Notable Achievements

Pioneering seL4 Microkernel Verification

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.

ACM Fellow & IEEE Fellow

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.

Leadership in Trustworthy Systems Research

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.

John Lions Chair of Operating Systems

Appointed to the prestigious John Lions Chair of Operating Systems at UNSW, recognizing his exceptional contributions to the field.

Influential Publications and Awards

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.

Educational Background

Master of Science (MS), Industrial Engineering

Montana State University-Bozeman - Year 1986

Bachelor of Science (BS), Industrial Engineering

Montana State University-Bozeman - Year 1982

Buying Intent Signals for Douglas Heiser

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.

Notable news
Hiring actively
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance
Corporate Finance

Company Overview

Seeking the next great opportunity
Total employees0
HeadquartersNot Applicable
FoundedNot Applicable

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.

Seeking the next great opportunity Funding Information
Not Applicable - Total Funding Raised
Not Applicable - Most recent funding amount
Not Applicable - Number of funding rounds
Not Applicable - Latest funding round
Lead Investors:
Not Applicable

Highperformr's free tools for company research

Find contact info

Get verified emails, phone numbers, and LinkedIn profile details

Find similar contacts

Discover contacts with similar roles, seniority, or companies

Perform deep contact research

Uncover insights like skills, work history, social links, and more

Discover, research and enrich contacts with Highperformr — Smarter, Faster

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.

  • Track signals like job change, promotion, and LinkedIn activity
  • Enrich contacts with verified email, phone, and social data instantly
  • Automate enrichment and updates with powerful workflows
  • Sync enriched contact info directly into your CRM and tools

Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.

Thousands of companies, including, are just a search away.