Dr. Rob Sison

Biography

Rob Sison is an Australian computer engineer specializing in formal methods and security in software systems. They completed their Bachelor of Engineering in Computer Engineering in 2010, followed by a Master of Information Technology with Excellence in 2016 and a Doctor of Philosophy in Computer Science from UNSW Sydney in 2020. During their early career from 2008 to 2014, Sison worked as an operating system-level software developer at NICTA spin-out Open Kernel Labs, Inc., contributing to the development of system-critical software. Their doctoral research focused on interactive theorem proving for the verification of information-flow security in concurrent programs. Since obtaining their doctorate, Sison has worked as a postdoctoral Research Fellow in the CS Security Research group at the University of Melbourne, collaborating closely with the Trustworthy Systems research group at UNSW. In 2023, they took on the role of Senior Research Associate at UNSW's School of Computer Science and Engineering while also holding an Honorary Fellow position at the University of Melbourne. Their research interests include formal verification, proving the absence of information flow in high-assurance systems, and the interactive theorem proving necessary for ensuring software correctness. Sison is also involved in teaching programming language concepts and software verification topics at UNSW and the University of Melbourne.

Research Interests

Experience

Awards