Rob Sison
Senior Research Associate
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolRob Sison is a senior research associate and software engineer with 12 years of experience focused on improving the trustworthiness and reliability of system-critical software. He combines deep academic training—a PhD and Master's from UNSW—with hands-on roles at research organisations and industry, including CSIRO Data61, University of Melbourne, and early kernel and embedded systems work. His career blends formal research methods and practical engineering, from seL4-related and systems security environments to applied research leadership. Based in Sydney, he has steadily progressed from software engineering to leading research projects, driven since 2014 by a long-term ambition to lead groundbreaking, trustworthy software R&D. An inquisitive thinker with a subtle taste for local mysteries, he brings both rigorous scholarship and pragmatic delivery to complex, safety-critical problems.
12 years of coding experience
8 years of employment as a software developer
UAI 98.30, UAI 98.30 at St Aloysius College, Milsons PointUNSW Sydney
Github Skills (12)
isabelle10
proof10
sel49
operating-system9
security5
test-suite5
continuous-integration4
git-mirror3
documentation3
verification2
risc1
constant-time1
Programming languages (6)
Github contributions (5)
robs-cse/robs-cse.github.io
Nov 2021 - Jan 2026
Contributions:66 pushes, 1 branch in 4 years 2 months
robs-cse/l4v
Oct 2020 - Aug 2023
seL4 specification and proofs
Contributions:195 pushes, 19 branches in 2 years 10 months
sel4
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.