Gernot Heiser
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Recordings will be published within a week or so
September 3, 2025 at 8:34 AM
Recordings will be published within a week or so
My first paper at a systems conference was at ATC'99.
My first paper award was at ATC'05...
My first paper award was at ATC'05...
May 7, 2025 at 9:33 AM
My first paper at a systems conference was at ATC'99.
My first paper award was at ATC'05...
My first paper award was at ATC'05...