Robert Sison (@[email protected]) @robs_cse

Formal methods researcher with a PhD on proving information-flow security in the presence of concurrency. Ex-industry. 🏳️‍🌈🏳️‍⚧️ NB (any pronouns) robs-cse.com Australia Joined December 2013
  • Tweets
    4K
  • Followers
    187
  • Following
    173
  • Likes
    14K