2026 Gernot Heiser: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	52	4998	4861	146	145	210	14649

Research.com Recognitions

2016 - IEEE Fellow For contributions to security and safety of operating systems
2014 - ACM Fellow For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use.
2009 - ACM Senior Member

Overview

Gernot Heiser is affiliated with the University of New South Wales in Australia. Their research spans several fields, primarily within computer science and engineering, with a focus on security, operating systems, and hardware architecture.

Heiser's research work covers multiple main topics, including:

Security and Verification in Computing
Advanced Malware Detection Techniques
Advanced Memory and Neural Computing
Parallel Computing and Optimization Techniques
Semiconductor Materials and Devices
Physical Unclonable Functions (PUFs) and Hardware Security
Advanced Sensor and Energy Harvesting Materials

Their major publication venues demonstrate a presence in both academic journals and conference proceedings, such as:

arXiv (Cornell University)
IEEE Security & Privacy
Communications of the ACM
IEEE Transactions on Computers
ACM SIGOPS Operating Systems Review

Recent papers authored or coauthored by Heiser include:

"seL4 in Australia," 2020, Communications of the ACM
"Towards Provable Timing-Channel Prevention," 2020, ACM SIGOPS Operating Systems Review

Frequent coauthors working alongside Heiser are:

Nils Wistoff
Luca Benini
Gerwin Klein
Frank K. Gürkaynak
Toby Murray

Their research contributions also include work featured in papers authored by coauthors like Nils Wistoff, such as "Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning" (2022, IEEE Transactions on Computers) and "Prevention of Microarchitectural Covert Channels on an Open-Source 64-bit RISC-V Core" (2020, arXiv).

Heiser's expertise encompasses both broad and specialized subfields within computer science and engineering, including:

Artificial Intelligence
Electrical and Electronic Engineering
Hardware and Architecture
Signal Processing
Biomedical Engineering

Acknowledgments for Heiser include distinctions such as:

IEEE Fellow, awarded in 2016 for contributions to security and safety of operating systems
ACM Fellow, awarded in 2014 for contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use
ACM Senior Member, granted in 2009

Best Publications

seL4: formal verification of an OS kernel

Gerwin Klein;Kevin Elphinstone;Gernot Heiser;June Andronick

2640
Citations
An analysis of power consumption in a smartphone

Aaron Carroll;Gernot Heiser

2091
Citations
Last-Level Cache Side-Channel Attacks are Practical

Fangfei Liu;Yuval Yarom;Qian Ge;Gernot Heiser

1228
Citations
Dynamic voltage and frequency scaling: the laws of diminishing returns

Etienne Le Sueur;Gernot Heiser

560
Citations
Comprehensive formal verification of an OS microkernel

Gerwin Klein;June Andronick;Kevin Elphinstone;Toby Murray

461
Citations
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware

Qian Ge;Yuval Yarom;David Cock;David Cock;Gernot Heiser

444
Citations
CATalyst: Defeating last-level cache side channel attacks in cloud computing

Fangfei Liu;Qian Ge;Yuval Yarom;Frank Mckeen

437
Citations
The role of virtualization in embedded systems

Gernot Heiser

359
Citations
seL4: formal verification of an operating-system kernel

Gerwin Klein;June Andronick;Kevin Elphinstone;Gernot Heiser

323
Citations
The OKL4 microvisor: convergence point of microkernels and hypervisors

Gernot Heiser;Ben Leslie

302
Citations
Koala: a platform for OS-level power management

David C. Snowdon;Etienne Le Sueur;Stefan M. Petters;Gernot Heiser

296
Citations
User-Level Device Drivers: Achieved Performance

Ben Leslie;Peter Chubb;Nicholas FitzRoy-Dale;Stefan Götz

254
Citations
Providing dynamic update in an operating system

Andrew Baumann;Gernot Heiser;Jonathan Appavoo;Dilma Da Silva

192
Citations
Power Management and Dynamic Voltage Scaling: Myths and Facts

David C. Snowdon;Sergio Ruocco;Gernot Heiser

192
Citations
The Mungi single-address-space operating system

Germont Heiser;Kevin Elphinstone;Jerry Vochteloo;Stephen Russell

183
Citations
From L3 to seL4 what have we learnt in 20 years of L4 microkernels

Kevin Elphinstone;Gernot Heiser

179
Citations
Automatic device driver synthesis with termite

Leonid Ryzhyk;Peter Chubb;Ihor Kuz;Etienne Le Sueur

147
Citations
Dingo: taming device drivers

Leonid Ryzhyk;Peter Chubb;Ihor Kuz;Gernot Heiser

138
Citations
Towards trustworthy computing systems: taking microkernels to the next level

Gernot Heiser;Kevin Elphinstone;Ihor Kuz;Gerwin Klein

132
Citations
Spatially resolved analysis and minimization of resistive losses in high-efficiency Si solar cells

Pietro P. Altermatt;Gernot Heiser;Armin G. Aberle;Aihua Wang

123
Citations
Hardware-supported virtualization on ARM

Prashant Varanasi;Gernot Heiser

120
Citations

Frequent Co-Authors

Pietro P. Altermatt Trina Solar

Armin G. Aberle National University of Singapore

Martin A. Green University of New South Wales

Yuval Yarom Ruhr University Bochum

Stuart Wenham University of New South Wales

Cristiano Giuffrida Vrije Universiteit Amsterdam

Herbert Bos Vrije Universiteit Amsterdam

Ruby B. Lee Princeton University

Andres Cuevas Australian National University

Petru Eles Linköping University

External Links

Wikipedia of Gernot Heiser Personal website of Gernot Heiser Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Pursuing a Computer Science degree in the USA opens doors to a wide range of online educational paths. One popular option for those looking to accelerate their studies and enter the workforce quickly is an accelerated cs degree. These programs are ideal for motivated students who want a faster, more intensive route into tech careers.

Related fields like engineering are also increasingly accessible online. An environmental engineering bachelor's degree online is a great example, providing skills for those interested in sustainable technology and problem solving. Similarly, understanding the mechanical engineering degree cost can help students make informed financial decisions about their future.

For students aiming to deepen their scientific foundation, there are also reputable online physics degrees that complement a background in computer science. Exploring these related online degrees can lead to versatile career pathways in technology, engineering, or research, providing both flexibility and value for learners.