About Rob Sison

Australian formal methods researcher with a PhD on proving information-flow security in the presence of concurrency. Ex-industry, ex-NICTA/CSIRO. Nostalgic for the old Web. 🏳️‍🌈🏳️‍⚧️ NB. (Formerly @ robs_cse on Twitter.)

I use Isabelle/HOL to conduct research aimed at expanding the possible scope of security proofs about operating systems.

I also have a BA in Japanese studies and like to read sci-fi and on the sociology of tech and economics in my spare time.

Lists

Timeline

robs has no activity yet