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-
Tweets4K
-
Followers187
-
Following173
-
Likes14K
Streisand Effect in action!
For anyone still here, I’m now at @[email protected] Much thanks to @alexstamos and team, especially for the honest privacy policy :)
For anyone still here, I’m now at @[email protected] Much thanks to @alexstamos and team, especially for the honest privacy policy :)
@MarcoGuarnier1 @cis_unimelb @UNSWCOMPUTING @buckdotly @tobycmurray @lsf37 @GernotHeiser Thanks Marco. The accepted version of our paper is now available here: robs-cse.com/publications/F…
For the case that Twitter actually collapses or I find it is becoming incompatible with my values (both seem a real possibility), I've set up a (presently dormant) Mastodon account: fosstodon.org/@gernot
I'm moving my social media activity largely to my Mastodon account on SDF's server @[email protected] (mastodon.sdf.org/@robs) and don't plan to be spending much time on Twitter any more
Adviso to news outlets: It’s not ‘[name], who identifies as a trans man,’ or ‘[name] identifies as a trans man.’ It’s ‘[name] is a trans man’ or ‘[Name], who is a trans man,’ When you use ‘identifies as,’ you move confirmed information to a speculative, theoretical framework.
I was once stuck at a job due to a H1B, and let me tell you it's fucking miserable. Recruiters, please start reaching out to folks still at Twitter. They'll be unusually receptive. Hiring someone with a H1B is *trivial*, last I heard it cost $6K and took two weeks
if twitter goes away, it’s really lousy news for those of us who get paid to tweet by the cia. i mean, i put in LOTS of work. i developed this op from the ground up. they paid me $2500 per tweet. and i guess i just thought it would last forever. i don’t know, it’s just sad
Twitter has about 1200 H1B Visa workers, according to reports. Those workers do not have the flexibility to resign from their jobs at Twitter.
Twitter has about 1200 H1B Visa workers, according to reports. Those workers do not have the flexibility to resign from their jobs at Twitter.
I'll be there to stay
I mean, right, in the ideal world, nobody would feel the need to be closeted at work. This is, however, not the ideal world. Around 50% of LGBTQ academics choose not to be out at work. This proportion is similar across many work sectors.
There's a tweet I keep seeing reposted that claims that academics should disclose our privileges (gender, sexuality, nationality, socioeconomic background, etc) before announcing our accomplishments. I don't often do this, but let's unpack the claim.
The videos from the seL4 Summit 2022 @seL4Foundation are now online😀. Check out Nils's @niwist talk on fence.t, a novel RISC-V instruction that clears the processor's microarchitectural state and thus any timing dependence on execution history. youtube.com/watch?v=tLcum9…
If this is true, it is not okay.
"people should have said things quietly in person" didn't work for the exec team "people should have said things privately!" didn't work for people on internal comms "people shouldn't say things in public!" i guess that's their mistake for believing in free speech huh

Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Ben Rubinstein @bipr
2K Followers 804 Following ML & Privacy Prof @cis_unimelb. Deputy Dean (Research) @engunimelb. Prev @MSFTResearch, @Berkeley_EECS. He/him. 🇦🇺
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Christine Rizkallah @c_rizkallah
377 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Liam O'Connor @kamatsu8
1K Followers 511 Following he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr
Thuan Pham @thuanpv_
2K Followers 900 Following Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing. (Fuzz) Testing enthusiast. Tweets are my own.
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Mélange Caracole @MelangeCaracole
64 Followers 5K Following 'I am one of those smaller scale disturbances, with an attitude' -- elspethc
andyfdz @andyfdz5
100 Followers 3K Following 2022.06に韓ドラ沼入りした30代2児母。 トッケビでコン・ユ沼にハマってしまいました。 除隊以降のコン・ユ氏が特に好きです( ✧﹃✧) 🌸いいね頂いた方等を馴れ馴れしく無言フォローしますが、お気を悪くされたらブロックして頂いて構いません☺️
Mistress Shirley @Mistress_Shirle
15 Followers 359 Following Just want something real 💐❤.. kindly dm TOO MUCH MESSAGES! and also don't feel bad bout saying hi on here!..
ANU School of Computi... @ANUComputing
478 Followers 170 Following Founded in 2021, the new ANU School of Computing is the home for Computer Science, Data Science, AI and Machine Learning, and Computational Science in @ANUCECC
Tamjid Rahat @tamjidrahat
225 Followers 1K Following Applied Scientist @AWS Security | PhD @UCLA | AI for Security Applications
The International Soc... @ISNBS_
1K Followers 1K Following Building solidarity and discovering interesting things since 2020. Join us! #ISNBS
seven ex machina @toomanyspectra
27K Followers 4K Following liberated borg 🤖 astrobiologist 😎 non-binary ✊ science & sci-fi writer 📚 troublemaker 🏳🌈 she/they 🖖 LIFE IN SEVEN NUMBERS out mid-late 2025 💫
user @bob660651
7 Followers 309 Following
Jood Otaibi @Jood_Otaibi1
120 Followers 946 Following I don't live in my country 'Qatar'.. But it lives inside me ❤️🇶🇦
Yan Liu @yanliu0xzz
65 Followers 253 Following Zero Knowledge, Logic, Formal Methods, Security, blockchain, database
Ray [REDACTED] @RayRedacted
67K Followers 8K Following Hacker, Researcher, Podcast Producer (Tribe of Hackers, Darknet Diaries). Proud dad of the fastest climber in the world. Ever. “Ut scandis, alios subleva”
Ben Greenman @ben_greenman
119 Followers 208 Following
Tessa Lunney @TessaWynn
214 Followers 544 Following "Autumn Leaves, 1922: a Kiki Button mystery" out now from Pegasus books. Represented by Sarah McKenzie Literary Management.
Stephen De Gabrielle ... @spdegabrielle
521 Followers 1K Following
Jasper Di Francesco @jasdifran
4 Followers 37 Following
Rachel H @so_racheliffic
356 Followers 999 Following Technical Recruiter, in house with a great team hiring remotely. I love bringing people together to build cool tech! My views are my own.
Dr Miah Hammond-Errey @Miah_HE
1K Followers 3K Following CEO Strat Futures | Host Technology & Security | Author | National Security, Data, Tech, Information Influence & Interference now on @ https://t.co/9r7LFoq42U
Callum Jones @cal__jon
538 Followers 1K Following Postdoc @DeakinCrim developing network science approaches for mapping illicit networks. PhD from @MonashSoc exploring far-right networks.
Matthew Hardeman @mdhardeman
1K Followers 1K Following Software developer. Sysadmin. Into: interconnection, telephony, net engineering, comm. infra., security, snark, birds. 🦝 Also @[email protected]
rem @remyjck
39 Followers 187 Following
OzLabourStart @OzLabourStart
9K Followers 10K Following Trade union news from Australia; the official Australia feed of https://t.co/VCwUmkCUQ8.
David Darais @daviddarais
985 Followers 825 Following Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.
Vadim Leshkov @bewrrrie
35 Followers 462 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)
Lara Okafor (they/the... @quaerendum
348 Followers 430 Following @fotogalleriet ‘24-‘25 curatorial fellow • technologist • @voodoonauts ‘22 fellow • @sfpc alum • wrote a thesis about digital security for queer PoC
Rob (@[email protected]... @heisenpunk
14 Followers 255 Following alt account for @robs_cse. a place for my "understated sense of humour" (high school maths report card, c. 2002). happily engaged
Qian Ge @qian_ge__
50 Followers 85 Following Systems researcher, currently working in Google DeepMind
Sae Ra @ms_mary_mac
989 Followers 2K Following Linux Australia Vice-President, Techie in a Library world. FOSS Advocate. For those stalking me https://t.co/7xBqfGw1Dt she/her. Words are my own
Zachary Tatlock @ztatlock
1K Followers 481 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Joe Hendrix @joe_hendrix_fm
121 Followers 120 Following I write software. Principal Computer Scientist at SRI.
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Dr Heidy Khlaaf (ها... @HeidyKhlaaf
8K Followers 637 Following Climber 🇪🇬| Chief AI Scientist @AINowInstitute | TIME100 AI | x-ToB, Zipline, OpenAI, MSFTResearch
Amaya Booker @Illdrinn
2K Followers 1K Following Pale person in black. Visible bisexual. Tsundere diva. +20 to Nerd Girl. Australian in New York. Building the internet so you don't have to.
Hannah @HannahsCatCafe
2K Followers 1K Following Content Creator on Twitch and YouTube. Mostly Strategy & Card Games.
Tony Wirth (he/his/hi... @TonyWirthPhD
615 Followers 785 Following Professor at The University of Sydney. Algorithms. @Eng_IT_Sydney @princetonalumni @unimelbalumni
Dave Sands @davsands
40 Followers 73 Following
Jenny Davis @Jenny_L_Davis
4K Followers 4K Following Sociologist at Vanderbilt | Critical Tech+Social Psych| Bluesky: https://t.co/t9iu9fVKaJ
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Mansooreh Zahedi @MansoorehZ
439 Followers 427 Following Software Engineering Lecturer (Assistant Professor) at University of Melbourne @cis_unimelb @unimelb **hiring PhD students **
cohost.org/ireneista ... @ireneista
5K Followers 6K Following You're all dreams, nice dreams. We're an asexual autistic trans-femme plural system. Ad privacy, Internet Safety Labs, ex-Google, they/them. 🏳️⚧️🇨🇦
Dominik Winterer @DominikWinterer
1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Clément Pit-Claudel @cpitclaudel
819 Followers 814 Following EPFL (@ICepfl) assistant professor. Compilers, verification, hardware, & IDEs. Also lots of Emacs modes. Previously PhD @MIT and AppSci @AWS.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Toby Murray @tobycmurray
1K Followers 632 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Ben Rubinstein @bipr
2K Followers 804 Following ML & Privacy Prof @cis_unimelb. Deputy Dean (Research) @engunimelb. Prev @MSFTResearch, @Berkeley_EECS. He/him. 🇦🇺
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Christine Rizkallah @c_rizkallah
377 Followers 329 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Marcel Böhme👨�... @mboehme_
6K Followers 1K Following Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: https://t.co/BRnFNNgynB
Liam O'Connor @kamatsu8
1K Followers 511 Following he/any Senior Lecturer, @ANUComputing. I leave these tweets, I do not know for whom, I no longer know what they are about. 한국어도 할 수 있다: @liamoc_kr
Thuan Pham @thuanpv_
2K Followers 900 Following Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing. (Fuzz) Testing enthusiast. Tweets are my own.
Tzu-Han👩🏻�... @TzuHanH
2K Followers 1K Following CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Scott Buckley @buckdotly
13 Followers 21 Following
ANU School of Computi... @ANUComputing
478 Followers 170 Following Founded in 2021, the new ANU School of Computing is the home for Computer Science, Data Science, AI and Machine Learning, and Computational Science in @ANUCECC
Tamjid Rahat @tamjidrahat
225 Followers 1K Following Applied Scientist @AWS Security | PhD @UCLA | AI for Security Applications
seven ex machina @toomanyspectra
27K Followers 4K Following liberated borg 🤖 astrobiologist 😎 non-binary ✊ science & sci-fi writer 📚 troublemaker 🏳🌈 she/they 🖖 LIFE IN SEVEN NUMBERS out mid-late 2025 💫
The International Soc... @ISNBS_
1K Followers 1K Following Building solidarity and discovering interesting things since 2020. Join us! #ISNBS
Ray [REDACTED] @RayRedacted
67K Followers 8K Following Hacker, Researcher, Podcast Producer (Tribe of Hackers, Darknet Diaries). Proud dad of the fastest climber in the world. Ever. “Ut scandis, alios subleva”
Ben Greenman @ben_greenman
119 Followers 208 Following
Tessa Lunney @TessaWynn
214 Followers 544 Following "Autumn Leaves, 1922: a Kiki Button mystery" out now from Pegasus books. Represented by Sarah McKenzie Literary Management.
Stephen De Gabrielle ... @spdegabrielle
521 Followers 1K Following
Australia Institute @TheAusInstitute
53K Followers 3K Following Australia’s leading independent think-tank. Authorised by E Bennett, The Australia Institute, Canberra 2603
Frederick Kintanar @FrederickKinta1
22 Followers 348 Following What are you reading? Words, words, words. Interested in mathematical modeling of lexical semantics and cognition, applied category theory
OzLabourStart @OzLabourStart
9K Followers 10K Following Trade union news from Australia; the official Australia feed of https://t.co/VCwUmkCUQ8.
Jasper Di Francesco @jasdifran
4 Followers 37 Following
Rachel H @so_racheliffic
356 Followers 999 Following Technical Recruiter, in house with a great team hiring remotely. I love bringing people together to build cool tech! My views are my own.
Amy Diehl, Ph.D. @amydiehl
23K Followers 9K Following 📖 GLASS WALLS, CIO, Gender Bias Expert, Researcher, Consultant, Speaker, Traveler, Cyclist, Feminist, Equalist. @amydiehl.bsky.social
Callum Jones @cal__jon
538 Followers 1K Following Postdoc @DeakinCrim developing network science approaches for mapping illicit networks. PhD from @MonashSoc exploring far-right networks.
Matthew Hardeman @mdhardeman
1K Followers 1K Following Software developer. Sysadmin. Into: interconnection, telephony, net engineering, comm. infra., security, snark, birds. 🦝 Also @[email protected]
rem @remyjck
39 Followers 187 Following
Vadim Leshkov @bewrrrie
35 Followers 462 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)
Type Theory Forall @ttforall
4K Followers 274 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Australian Privacy Fo... @apf_oz
3K Followers 316 Following Protecting the privacy rights of all Australians for over 30 years Now also on Mastodon at https://t.co/IWwymEOVED
NTEU @NTEUnion
8K Followers 1K Following The union for higher education staff in Australia. Authorised by D.Cahill, Melbourne National Tertiary Education Union
Lara Okafor (they/the... @quaerendum
348 Followers 430 Following @fotogalleriet ‘24-‘25 curatorial fellow • technologist • @voodoonauts ‘22 fellow • @sfpc alum • wrote a thesis about digital security for queer PoC
Rob (@[email protected]... @heisenpunk
14 Followers 255 Following alt account for @robs_cse. a place for my "understated sense of humour" (high school maths report card, c. 2002). happily engaged
Dr Miah Hammond-Errey @Miah_HE
1K Followers 3K Following CEO Strat Futures | Host Technology & Security | Author | National Security, Data, Tech, Information Influence & Interference now on @ https://t.co/9r7LFoq42U
Sae Ra @ms_mary_mac
989 Followers 2K Following Linux Australia Vice-President, Techie in a Library world. FOSS Advocate. For those stalking me https://t.co/7xBqfGw1Dt she/her. Words are my own
Qian Ge @qian_ge__
50 Followers 85 Following Systems researcher, currently working in Google DeepMind
EFA is @ aus.social @efa_oz
8K Followers 4K Following Electronic Frontiers Australia - promoting and protecting digital rights in Australia since 1994.
Hannah @HannahsCatCafe
2K Followers 1K Following Content Creator on Twitch and YouTube. Mostly Strategy & Card Games.
Tony Wirth (he/his/hi... @TonyWirthPhD
615 Followers 785 Following Professor at The University of Sydney. Algorithms. @Eng_IT_Sydney @princetonalumni @unimelbalumni
Jenny Davis @Jenny_L_Davis
4K Followers 4K Following Sociologist at Vanderbilt | Critical Tech+Social Psych| Bluesky: https://t.co/t9iu9fVKaJ
David Darais @daviddarais
985 Followers 825 Following Principal Scientist @ Galois, Inc.. Programming languages, software verification, computer security, data privacy.
Andrew K. Hirsch @andrewkhirsch
574 Followers 912 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Mansooreh Zahedi @MansoorehZ
439 Followers 427 Following Software Engineering Lecturer (Assistant Professor) at University of Melbourne @cis_unimelb @unimelb **hiring PhD students **
Joe Hendrix @joe_hendrix_fm
121 Followers 120 Following I write software. Principal Computer Scientist at SRI.
cohost.org/ireneista ... @ireneista
5K Followers 6K Following You're all dreams, nice dreams. We're an asexual autistic trans-femme plural system. Ad privacy, Internet Safety Labs, ex-Google, they/them. 🏳️⚧️🇨🇦
Dominik Winterer @DominikWinterer
1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Clément Pit-Claudel @cpitclaudel
819 Followers 814 Following EPFL (@ICepfl) assistant professor. Compilers, verification, hardware, & IDEs. Also lots of Emacs modes. Previously PhD @MIT and AppSci @AWS.
Kristin Barber @kristin_barber
196 Followers 940 Following Hardware Security @Google. PhD @OhioState. 🏳️🌈
Nathan Aschbacher @gen_nja
403 Followers 255 Following A properly specified OTP behaviour. CEO & Co-Founder @ https://t.co/6aQtZQdXFB. Formerly of PolySync, Visa, & Basho. Opinions expressed were previously pressed.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Bill Bovingdon @BillBovingdon
6K Followers 7K Following Chief Investment Officer at Altius, long suffering Saints(AFL)/Arsenal fan. Sustainable investment - Australia's 1st Green Bond Fund #Sustainable #ESG