Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Nick Harkaway @nickharkaway.com Author. Also husband, dad, clothing-repairer, dog-walker. Decreasingly rigorous on social media. Happy to receive simple work queries here; anything more involved contact Patrick Walsh @ PEW Literary in London or email me.
www.linktr.ee/harkaway
He/him
ICML Conference @icmlconf.bsky.social Official account of ICML
Damien Miller @damienmiller.bsky.social debugging, v: the process of inserting printf statements into code until one's errors reveal themselves
Kevin Beaumont @doublepulsar.com cybersecurity weather man. scanning the horizons for cloudy cyber. Expert at nothing except computer rubbish. Anti-ransomware since 2015.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Daniel Lowd @dlowd.com CS Prof at the University of Oregon, studying adversarial machine learning, data poisoning, interpretable AI, probabilistic and relational models, and more. Avid unicyclist and occasional singer-songwriter. He/him
Activ8te @activ8te.bsky.social Producer of electronic music combining their love of music with past experiences in security and engineering. Activ8te's tracks are designed to create an emotional connection with their audience while also educating them. https://activ8te.io/links
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
LiveMusic.com.au @livemusicaustralia.bsky.social Live Music Australia has all the latest gigs and festival dates around Australia (and New Zealand). https://livemusic.com.au
Gadi Evron @gadievron.bsky.social CEO & Co-Founder at Knostic, CISO-in-Residence for AI at Cloud Security Alliance. Former Founder @Cymmetria (acquired). Host at Prompt||GTFO. Threat hunter, scifi geek, dance teacher. Opinions my own.
Australian Research Council @arc-gov-au.bsky.social We support the research sector to produce excellent and impactful outcomes for Australia’s economic, social, environmental and cultural benefit.
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Yutaka @yutaka-en.bsky.social Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
IEEE Spectrum @spectrum.ieee.org The latest technology news and analysis from the world's leading engineering magazine.
Colin Gorrie @colingorrie.bsky.social English is weirder than you think. Every week I dig into the hidden history of everyday words: etymology, Old English, and the accidents that shaped how you speak. Linguistics PhD. deadlanguagesociety.com
Joanna Rutkowska @rootkovska.bsky.social https://tracesofhumanity.org
Previously: Golem Foundation/Wildland, Qubes OS, hardware/virtualization/OS security research.
Fiona Katauskas @fionakatauskas.bsky.social Freelance cartoonist , political junkie, best-selling author of The Amazing True Story of How Babies Are Made. Sweary.
Gadigal Country. Australia
Peter Vamplew @amp1874.bsky.social Professor in IT @ Federation Uni. Multi-objective reinforcement learning. Human-aligned AI. Best known for the f*cking mailing list paper. Jambo & Bengals fan. https://t.co/UNoOrbGApz
The Cathy Wilcox @cathywilcox.bsky.social Editorial cartoons, dog walks, languages, bleeding heart, existential malaise. Latest book Hoary Chestnuts, shop at cathywilcox.com.au
Dr. Casey Fiesler @cfiesler.bsky.social information science professor (tech ethics + internet stuff)
kind of a content creator (elsewhere also @professorcasey)
though not influencing anyone to do anything except maybe learn things
she/her
more: casey.prof
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Ryan Naraine @ryanaraine.bsky.social Three Buddy Problem
https://securityconversations.com
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Brian Moore @brianmoore.com a car crash at the intersection of art and technology
🌐 brianmoore.com
📷 instagram.com/lanewinfield
Schneier on Security @schneier.com An automated feed of posts from Bruce Schneier's blog. https://www.schneier.com/
Filippo Valsorda @filippo.abyssdomain.expert @geomys.org founder / RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Yanis Varoufakis @yanisvaroufakis.bsky.social Subverter of the dominant paradigm
@myvardi.bsky.social @myvardi.bsky.social 
University of Melbourne @unimelb.edu.au We're a public-spirited institution making distinctive contributions to society in research, learning, teaching and engagement.
CRICOS code: 00116K
Caleb Stanford @calebstanford.bsky.social Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
Stephan Geering @stephangeering.bsky.social Chief Privacy Officer at Instructure. IAPP board member. Posts are my personal views. Dad, immigrant, tech geek. He/him/his. Substack: https://incbetter.substack.com/
AI Now Institute @ainowinstitute.bsky.social The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence.
Find us at https://ainowinstitute.org/ 
Melbourne Data Analytics Platform (MDAP) @mdap-unimelb.bsky.social We're an academic team of Research Data Specialists enabling data-intensive and data-informed research across disciplines
@unimelb www.unimelb.edu.au/mdap
FLoC 2026 @floc2026.bsky.social 
Ben Goldacre @bengoldacre.bsky.social Prof of EBM @UniOxford, author, Bad Science person, more... I run http://bennett.ox.ac.uk making tools+papers from data http://OpenSAFELY.org http://OpenPrescribing.net
Wafa Johal @wafaj.bsky.social Associate Prof. @UniMelb | ARC #DECRA Fellow, I do #interactiveAI , #HumanAgentInteraction and #HumanRobotInteraction | 🇫🇷 🇦🇺
Retro Tech Dreams @retrotechdreams.bsky.social Retro tech, early web & vintage computing. 80s, 90s, 2000s nostalgia. Follow for daily posts.
@yuvalyarom.bsky.social @yuvalyarom.bsky.social 
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Andrew Perfors @perfors.net Prof at UniMelb. I'm a computational cognitive scientist studying human inference, learning, information systems, culture, and (mis/dis)info. Nerd & opinionated loudmouth in Oz, originally from America, citizen of both. Parent of two. 🏳️⚧️ perfors.net
Stefano Tessaro @stefanotessaro.bsky.social Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social
Working on cryptography, theoretical computer science, and computer security.
https://homes.cs.washington.edu/~tessaro/
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Galois @galoisinc.bsky.social galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
Paul Krugman @pkrugman.bsky.social Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
Matt Bevan @mattbevan.bsky.social Host/writer of 'If You’re Listening’ from ABC News. http://seedisclaimer.com
Contact me via ifyourelistening [at] abc.net.au
Gernot Heiser @microkerneldude.bsky.social Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Nicolas Christin @nc2y.bsky.social Prof. at Carnegie Mellon University. Computer security, online crime, and assorted online seediness. Reformed(?) hacker. Economic migrant.
📍 Pittsburgh, PA, mostly
🕸️ https://www.andrew.cmu.edu/user/nicolasc
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Stephen Curry @scurry.bsky.social Proud Ballymena Professor. Senior Strategic Advisor at RoRI; Emeritus Prof at Imperial. Former DORA Chair. Husband, father, carer - 24/7. Also cares about science & equity. Personal a/c. Writes occasionally at http://occamstypewriter.org/scurry/.
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
David Korczynski @davkor.bsky.social Software security with a heavy focus on fuzzing and program analysis. Researcher at Ada Logics
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Australian Research Data Commons (ARDC) @ardc.edu.au Enabling the Australian research community and industry access to nationally significant digital research infrastructure, platforms, skills and data collections. Enabled by #NCRIS. Visit https://ardc.edu.au/
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Kate Devlin @drkatedevlin.bsky.social Academic; writer. Professor of AI & Society, Chair-Director @kings-dfi.bsky.social, King’s College London. Eye-rolling at AI nonsense on a daily basis. #academicsky . Norn Irish in Norwich.
Oliver Obst @oliverobst.bsky.social Assoc Prof. in Robotics at UNSW.
I am exploring physical and collective intelligence in robotics and real world systems — from smart materials, learning systems, to team behaviours.
Melanie Mitchell @melaniemitchell.bsky.social Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems.
Website: https://melaniemitchell.me
Substack: https://aiguide.substack.com/
Benjamin Eggleton @profbeneggleton.bsky.social Professor of Physics, Photonics. University of Sydney, currently Pro-Vice-Chancellor (Research). Co-Director of NSW Smart Sensing Network. Contributing leading edge research to sovereign capability.
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Andrew Cullen @adrcullen.bsky.social Secure, Ethical AI consultant & coach (www.EthiCan.com.au), board member of Music Technology Australia, CTO of MetaGen. Former Snr Research Fellow at University of Melbourne. Into bikes, weightlifting, and, weirdly, Iranian brickwork.
Michael Schwarz @misc0110.bsky.social InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. Discovering CPU vulnerabilities.
William Umboh @swumboh.bsky.social Lecturer in Computational Theory, School of Computing and Information Systems, University of Melbourne. Interests: Theoretical computer science and combinatorial optimisation, focussing on approximation and online algorithms. williamumboh.com
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Sarah Schwartz @sarahschwartz.bsky.social human rights & community lawyer, lecturer, exec officer Jewish Council of Australia, sci fi enthusiast
writing from unceded Wurundjeri land
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Chris Krebs @thekrebscycle.bsky.social Aka @c_c_krebs over there 
Hertford College Oxford @hertfordcollege.bsky.social 'The one with the bridge' (and the cat)
Dr. Dave Venable @davevenable.com Focused on building resilience in democracies | Former U.S. intelligence officer | Chair, @ISRS.ngo | Board director & CISO | TheCipherBrief
Benjamin Tag @tagbenja.bsky.social HCI Researcher, Senior Lecturer, UNSW
Sydney, Australia
Holly Gramazio @hollygramazio.bsky.social Writing, game design, etc. Adelaide, London. Wrote a novel called “The Husbands”.
book: https://lnk.to/thehusbands
newsletter: https://buttondown.email/holly
info: http://hollygramazio.net
ig: https://www.instagram.com/holly_gramazio/
pic: Diana Patient
Tony Sloane @inkytonik.bsky.social Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inkytonik.
@silviocesare.bsky.social @silviocesare.bsky.social 
Tim Miller @tmiller-uq.bsky.social Professor in Artificial Intelligence, The University of Queensland, Australia
Human-Centred AI, Decision support, Human-agent interaction, Explainable AI
https://uqtmiller.github.io
@ccadar.bsky.social @ccadar.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@rpiskac.bsky.social @rpiskac.bsky.social 
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Defence Science Institute (DSI) @dsi-vic.bsky.social We are a gateway to Australia's defence science capability.
With a deep network across Australia’s science and technology landscape, we help build defence science research networks, facilitate collaborations and assemble multi-disciplinary teams.
Chris Paton @drchrispaton.bsky.social Digital health and informatics academic at the University of Oxford and University of Otago - interested in artificial intelligence, human-computer interaction and medical simulation. Editor in Chief, BMJ Digital Health & AI.
Shaanan Cohney @shaananc.bsky.social Computer Security, Privacy, and Public Policy. Deputy Head of Computing and Information Systems, University of Melbourne. Former Fellow for Sen. Ron Wyden.
Likes teaching. Likes research. Likes Singing.
https://cohney.info
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
JP Aumasson @aumasson.jp https://aumasson.jp
cofounder & CSO @ taurushq.com
cryptographer (BLAKE2, BLAKE3, SipHash)
author of Serious Cryptography https://nostarch.com/serious-cryptography-2nd-edition and other books
Signal: jpa.01
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Molly White @molly.wiki writes citationneeded.news • runs @web3isgoinggreat.com and @influence.citationneeded.news • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com