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
Gernot Heiser
Loading...
UNSW Sydney is #hiring systems faculty – talk to me if you’re interested.
This is for early-career researchers in the AU Lecturer–Senior Lecturer–Associate Professor–Professor progression. Tenure is orthogonal to position level – closes 31 July.
external-careers.jobs.unsw.edu.au/cw/en/job/54...
Thursday was UNSW CSE Prizes Night. Several Trustworthy Systems students featured: 2nd year Sam Tyler (left) won two. New Heroes of Operating Systems are (from right) Varun Sethu and Richard Shen: high distinctions in OS, Advanced OS and OS thesis
Interesting timing, actually, given that after a 7-year hiatus we’re getting back into serious real-time work with #seL4 and #LionsOS.
If you’re looking for an approachable overview of seL4 etc, you might be interested in this one: trustworthy.systems/publications...
Welcome Gapfruit, latest member of the #seL4 Foundation!
sel4.discourse.group/t/gapfruit-j...
UNSW Sydney is #hiring systems faculty – talk to me if you’re interested.
This is for mid-career researchers in the AU Lecturer–Senior Lecturer–Associate Professor–Professor progression. Tenure is orthogonal to position level – closes 31 July.
external-careers.jobs.unsw.edu.au/cw/en/job/54...
