Computer Scientist at the Czech Academy of Sciences
https://yutakang.github.io
https://www.youtube.com/@unitedreasoning
https://github.com/data61/PSL
The latest technology news and analysis from the world's leading engineering magazine.
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
https://tracesofhumanity.org
Previously: Golem Foundation/Wildland, Qubes OS, hardware/virtualization/OS security research.
Psychologist for the humans of tech. Author of The Psychology of Software Teams (2026). Founder: Catharsis Consulting (strategy * science). she/her 🏳️🌈 https://www.drcathicks.com/
Host at: https://www.changetechnically.fyi/
Cartoonist for the Guardian (amongst others) , political junkie, best-selling author of The Amazing True Story of How Babies Are Made. Sweary.
Gadigal Country. Australia
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
Editorial cartoons, dog walks, languages, bleeding heart, existential malaise. Latest book Hoary Chestnuts, shop at cathywilcox.com.au
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
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.
Three Buddy Problem
https://securityconversations.com
50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
a car crash at the intersection of art and technology
🌐 brianmoore.com
📷 instagram.com/lanewinfield
An automated feed of posts from Bruce Schneier's blog. https://www.schneier.com/
RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Subverter of the dominant paradigm
We're a public-spirited institution making distinctive contributions to society in research, learning, teaching and engagement.
CRICOS code: 00116K
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
Compliance, Trustworthy AI and Global Privacy Officer at Blackboard. IAPP board member. Posts are my personal views. Dad, immigrant, tech geek. He/him/his. Substack: https://incbetter.substack.com/
The AI Now Institute produces diagnosis and actionable policy research on artificial intelligence.
Find us at https://ainowinstitute.org/
We're an academic team of Research Data Specialists enabling data-intensive and data-informed research across disciplines
@unimelb www.unimelb.edu.au/mdap
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
Associate Prof. @UniMelb | ARC #DECRA Fellow, I do #interactiveAI , #HumanAgentInteraction and #HumanRobotInteraction | 🇫🇷 🇦🇺
Retro tech, early web & vintage computing. 80s, 90s, 2000s nostalgia. Follow for daily posts.
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
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
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/
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
Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
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.
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.
Host/writer of 'If You’re Listening’ from ABC News. http://seedisclaimer.com
Contact me via ifyourelistening [at] abc.net.au
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
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
I work on Programming Languages at Microsoft Research
Principal Scientist at Stealth Software.
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
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Proud Ballymena Professor. Senior Strategic Advisor at RoRI; Emeritus Prof at Imperial. Former DORA Chair. Husband, father, carer. Also cares about science & equity. Personal a/c. Writes occasionally at http://occamstypewriter.org/scurry/.
Software security with a heavy focus on fuzzing and program analysis. Researcher at Ada Logics
Incoming tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
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/
https://jpolitz.github.io
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
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.
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.
Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems.
Website: https://melaniemitchell.me
Substack: https://aiguide.substack.com/
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.
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
AI (security, privacy, HPC) Snr Research Fellow at the University of Melbourne, researcher who rides bikes to go nowhere, and lifts heavy things for fun. Surprisingly interested in Iranian brickwork (just weird like that).
InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. Discovering CPU vulnerabilities.
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
AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
human rights & community lawyer, lecturer, exec officer Jewish Council of Australia, sci fi enthusiast
writing from unceded Wurundjeri land
Professor of Computer Science at National University of Singapore
https://abhikrc.com
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
Aka @c_c_krebs over there
'The one with the bridge' (and the cat)
Focused on building resilience in democracies | Former U.S. intelligence officer | Chair, @ISRS.ngo | Board director & CISO | TheCipherBrief
HCI Researcher, Senior Lecturer, UNSW
Sydney, Australia
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
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.
Professor in Artificial Intelligence, The University of Queensland, Australia
Human-Centred AI, Decision support, Human-agent interaction, Explainable AI
https://uqtmiller.github.io
Mom, foodie, traveller, computer scientist
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
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.
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.
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
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
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
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
writes citationneeded.news • runs @web3isgoinggreat.com and @followthecrypto.org • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
The ACM Special Interest Group on Programming Languages.
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Associate Professor of Computer Science at Michigan State University
Research Fellow working on security and privacy of AI at the University of Melbourne, Australia.
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Professor of Computer Science (Human-Computer Interaction) @ The University of Sydney.
Immersive systems, Human-AI interaction, HCI methodology
Computer science, math, machine learning, (differential) privacy
Researcher at Google DeepMind
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Researcher at Microsoft Azure
boriskoepf.de
