Rob Sison

I am an Australian formal methods researcher who pivoted to academia after a 5-year early career stint (2008-2014) as an OS-level software engineer with NICTA spin-out Open Kernel Labs, Inc. My long-term objective since 2014 has been to gain the skills, experience, and qualifications necessary to assist, conduct, and eventually lead groundbreaking research and development aimed at improving the trustworthiness and reliability of system-critical software. To this end, in 2016 I completed a master's degree by coursework focused on computer security and formal methods. In 2020, I attained my doctorate for my dissertation on the application of interactive theorem proving to make feasible the verification of both information-flow security and its preservation by a compiler for concurrent programs that share memory both (1) between threads and (2) between security domains. From 2020 to 2023 I worked for the CS Security Research group of The University of Melbourne's School of CIS, collaborating with the Trustworthy Systems research group of UNSW's School of CSE, my alma mater, aimed at the provable elimination of information leakage through timing channels. Since 2023 I have held the position of Senior Research Associate working with the Trustworthy Systems research group at UNSW Sydney's School of CSE. I am a trans nonbinary person and in professional contexts would appreciate being referred to with they/them pronouns. formal verification, formal methods, formal software verification, computer security, cyber security, information flow control, confidentiality, interactive theorem proving, concurrency, Computational logic and formal languages, Formal methods for software, Programming languages, Operating systems