Toby Murray
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@andyperfors.bsky.social
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
@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/
@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
@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.
@pkrugman.bsky.social
@anneapplebaum.bsky.social
staff writer @theatlantic. author of GULAG, IRON CURTAIN, RED FAMINE, TWILIGHT OF DEMOCRACY and now AUTOCRACY INC https://linktr.ee/anneapplebaum
@mattbevan.bsky.social
Host/writer of 'If You’re Listening’ from ABC News. http://seedisclaimer.com
@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
@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
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@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.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@scurry.bsky.social
Emeritus Prof (Imperial); Dir. of Strategy at RoRI. Former DORA Chair. Husband, father, carer. Also cares about science & equity. Personal a/c. Writes occasionally at http://occamstypewriter.org/scurry/. Proud Ballymena Professor
@davkor.bsky.social
Software security with a heavy focus on fuzzing and program analysis. Researcher at Ada Logics
@ruijiemeng.bsky.social
PhD candidate @NUS. Software Testing and Security. https://mengrj.github.io/
@lukaszolejnik.bsky.social
Security & Privacy. Data Protection. Research. Engineering. Analyst. Policy. W3C. Consultant. Author. King’s College London/War Studies. lukaszolejnik.com/books blog.lukaszolejnik.com techletters.substack.com
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@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/
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@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.
@drkatedevlin.bsky.social
Academic; writer. Professor of AI & Society, Chair-Director @kings-dfi.bsky.social, King’s College London. Come for the sex robots; stay for the eye-rolling at AI nonsense on a daily basis. #academicsky . Norn Irish in Norwich.
@oliverobst.bsky.social
Assoc Prof. Western Sydney Uni. Director Centre for Research in Maths and Data Science. I am exploring physical and collective intelligence in robotics and real world systems — from smart materials, learning systems, to team behaviours.
@melaniemitchell.bsky.social
Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems. Website: https://melaniemitchell.me Substack: https://aiguide.substack.com/
@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. Editor-in-Chief of APL Photonics
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@adrcullen.bsky.social
AI (security, privacy, HPC) at UoM, researcher who rides bikes to go nowhere, and lifts heavy things for fun. Surprisingly interested in Iranian brickwork (just weird like that).
@misc0110.bsky.social
InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. Discovering CPU vulnerabilities.
@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
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@genmhayden.bsky.social
Personal account. Retired USAF, former Director of CIA & NSA, author, husband, father, granddad. Views are my own. Retweets are not endorsements.
@sarahschwartz.bsky.social
human rights & community lawyer, lecturer, exec officer Jewish Council of Australia, sci fi enthusiast writing from unceded Wurundjeri land
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@davevenable.com
OPSEC Connoisseur ∙ Disinformation ∙ CISO ∙ @ISRS.ngo ∙ @ TheCipherBrief Ex: USIC, NSA, TAO, StateDept Book & Art Collector
@hollygramazio.bsky.social
Writing, games, etc. Adelaide, London. My novel “The Husbands” is out now. book: https://lnk.to/thehusbands newsletter: https://buttondown.email/holly website: http://hollygramazio.net ig: https://www.instagram.com/holly_gramazio/ pic by Diana Patient
@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.
@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