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

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app