Physicist by training, computer engineer by passion.Gernot Heiser FACM FIEEE FTSE FRSN ML is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney. He is also the founding Chairman of the seL4 Foundation.