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
@peisert.bsky.social
Cybersecurity Research Lead, Berkeley Lab; Adjunct Professor, UC Davis; Editor-in-Chief, IEEE Security & Privacy; Director, Trusted CI, the NSF Cybersecurity Center of Excellence. https://infosec.exchange/@peisert Home: https://www.cs.ucdavis.edu/~peisert/
@manjusrii.bsky.social
Snr Lecturer digital media Swinburne Uni, chicken whisperer, researcher. Smells books. Maybe we can build a new thing here 🌱 The Upside Down: https://twitter.com/manjusrii
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @[email protected]
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@ccanonne.github.io
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@rodneyabrooks.bsky.social
Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
@bipr.bsky.social
ML & Privacy Prof at the University of Melbourne, Australia. Deputy Dean Research. Prev Microsoft Research, Berkeley EECS PhD. @bipr on the X bird site. He/him.
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@gianlucastringhini.com
Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@kennwhite.bsky.social
cryptography • neuro • cloud • biscuits ORD-DCA-NYC-BCN ✈️ [email protected]
@evacide.bsky.social
Director of Cybersecurity @eff.org Co-founder of @stopstalkerware.bsky.social These opinions are my own, not my employers’ I did a TED talk once
@v0max.bsky.social
Scientist. Dir. of Usable Security & Privacy at the International Computer Science Institute (icsi.berkeley.edu). Founder, AppCensus (appcensus.io). All opinions are those of his employer(s), and not his own. https://www.guanotronic.com/~serge/
@franziroesner.bsky.social
Professor (computer security and privacy, broadly construed) in the Allen School of CSE at the University of Washington. Also spend my time on parenting, reading, exercising, and writing poetry. She/her. https://www.franziroesner.com
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@mmazurek.bsky.social
security, privacy, people pointy-headed academic, phillies enjoyer still tomorrow's gonna be another working day / just trying to get some rest