Salesforce AI Research @sfresearch.bsky.social We advance state-of-the-art #AI techniques paving the path for innovative products at @Salesforce.com. Focus areas: #AIAgents, #EnterpriseAI, #EGI, and #TrustedAI.
Bob Coecke @coecke.bsky.social Chief Scientist at Quantinuum, ex Oxford Professor, author of Picturing Quantum Processes & Quantum in Pictures. Also, composer/musician at Black Tish, inventor of Quantum Guitar, playing duets with orchestral organ.
Raphael Bousso @bousso.bsky.social Theoretical physicist: gravity, quantum information, black holes, cosmology. Professor at UC Berkeley
Micah Lee @micahflee.com Doing what I can to keep activists, journalists, and researchers safe and productive — writing at https://micahflee.com — author of HACKS, LEAKS, AND REVELATIONS https://hacksandleaks.com — signal: micah.01
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
jasmine sun @jasmine.bsky.social anthropologist of disruption / writing jasmi.news / san francisco
John Herrman @jwherrman.bsky.social posting about posts at new york magazine
Scott Shapiro @scottjshapiro.bsky.social Southmayd Prof @YaleLawSch + Philosophy @Yale. Ed, @LegalTheory + Stanford Encyclopedia of Phil. “Legality”, “The Internationalists” (with @oonahathaway), “Fancy Bear Goes Phishing.” Overuses “neurosymbolic”
Matt McEwen @matt.mcewen.xyz Research Scientist with Google Quantum AI
Patrick Shafto @patrickshafto.bsky.social Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
Anna Meyer @annapmeyer.bsky.social minneapolis // she/her
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Chris Potts @cgpotts.bsky.social Stanford Professor of Linguistics and, by courtesy, of Computer Science, and member of @stanfordnlp.bsky.social and The Stanford AI Lab. He/Him/His. https://web.stanford.edu/~cgpotts/
Maggie Appleton @maggieappleton.com Staff Research Engineer @githubnext.com. But actually a designer.
Adores digital gardening, end-user development, and embodied cognition. Makes visual essays about design, programming, and anthropology.
📍 London
🌱 maggieappleton.com
Kevin Parry @kevinbparry.bsky.social ✨ Director & one-man studio
🪄 Handmade stop-motion & VFX illusions
🔗 https://kevinparry.tv/learn
Xuhui Huang @xuhuihuangchem.bsky.social Hirschfelder Chair, Professor of Chemistry, University of Wisconsin-Madison, Director, Theoretical Chemistry Institute, Theoretical chemistry and Biophysics, previously at HKUST, https://huang.chem.wisc.edu/
Naomi Saphra @nsaphra.bsky.social Waiting on a robot body. All opinions are universal and held by both employers and family. ML/NLP professor.
nsaphra.net
Timnit Gebru @timnitgebru.blacksky.app Personal Account
Author: Deep Unlearning (you can now preorder at https://shorturl.at/sCdjl)
Founder: The Distributed AI Research Institute (https://dair-institute.org)
Kyle McDonald @kcimc.bsky.social artist kylemcdonald.net
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
Jiayu (Mila) Wang @jiayuwang.bsky.social CS PhD @UW-Madison | Building efficient and intelligent agentic systems.
| Website: https://jiayuww.github.io/
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Kevin Zollman @kevinzollman.com Philosophy and Game Theory 🦚 Research the interface between philosophy, economics, and biology 💱 www.kevinzollman.com
Stanford NLP Group @stanfordnlp.bsky.social Computational Linguists—Natural Language—Machine Learning
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Manuel Rudolph @quantummanuel.bsky.social PhD Candidate in Physics @EPFL 🇨🇭
I like simulating quantum computers 💻
UW–Madison Data Science Institute @uwdsi.bsky.social Powered by American Family Insurance
@ruiqigao.bsky.social @ruiqigao.bsky.social
Gabriel Peyré @gabrielpeyre.bsky.social CNRS researcher at ENS
Ioannis Kontoyiannis @kontoyiannis.bsky.social Information theory, probability, statistics. Churchill Professor of Mathematics of Information @UofCambridge: dpmms.cam.ac.uk/person/ik355/ 🧮 #MathSky 🧪 #Science
[used to be @yiannis_entropy at the other place]
Tim Roughgarden @timroughgarden.bsky.social Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Paul Fairie @paulisci.bsky.social Researcher, UCalgary
PhD, Political Science
Dr. Cronk, Historian of Complaints. I've written a book, The Press Gallery (release TBD).
Headline of the Year! Lots going on.
Nikolaj @nikolajbjorner.bsky.social
Aditya Nori @avnori.bsky.social Researcher at Microsoft Research, Cambridge
Maris Ozols @marisozols.bsky.social Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Amr Rizk @amrrizk.bsky.social Comp. Engineering, Communication Systems Prof@Leibniz University Hannover
Hier privat. - [ʁɪsk]
Dr Abeba Birhane @abeba.blacksky.app Founder & PI @aial.ie. Assistant Professor of AI, School of Computer Science & Statistics, @tcddublin.bsky.social
AI accountability, AI audits & evaluation. Cognitive scientist by training. Ethiopian in Ireland. She/her
Sara Hooker @sarahooker.bsky.social I lead Cohere For AI. Formerly Research
Google Brain. ML Efficiency, LLMs,
@trustworthy_ml.
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute
Chris Olah @colah.bsky.social Reverse engineering neural networks at Anthropic. Previously Distill, OpenAI, Google Brain.Personal account.
Yoshua Bengio @yoshuabengio.bsky.social Working towards the safe development of AI for the benefit of all at Université de Montréal, LawZero and Mila.
A.M. Turing Award Recipient and most-cited AI researcher.
https://lawzero.org/en
https://yoshuabengio.org/profile/
Soumith Chintala @soumithchintala.bsky.social Cofounded and lead PyTorch at Meta. Also dabble in robotics at NYU.
AI is delicious when it is accessible and open-source.
http://soumith.ch
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Ryan O'Donnell @booleananalysis.bsky.social
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
Rami Awar @iamrami.bsky.social Open source developer and content creator
✨ Simplifying data analysis and visualization
🚀 Try it out: http://dataline.app 🚀
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Jocelyn Simmonds @jsimmond.bsky.social Associate prof. at the University of Chile, interested in MDE, SW product lines, and computer science education .. feminist and Latinity co-founder
https://users.dcc.uchile.cl/~jsimmond/
Lorenzo De Carli @ldklinux.bsky.social Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@aminkarbasi.bsky.social @aminkarbasi.bsky.social Chief scientist at Robust Intelligence and professor at Yale (on leave)
Samin Ishtiaq @saminishtiaq.bsky.social SW/HW/Systems; ex-ARM, ex-Microsoft Research. Also post occasionally at https://instagram.com/saminishtiaq/.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Kyle Cranmer @kylecranmer.bsky.social Director Data Science Institute @UWMadison, Professor of Physics,
EiC @MLSTjournal. Physics, stats/ML/AI, open science.
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Jason Lee @jasondeanlee.bsky.social Associate Professor at Princeton
Machine Learning Researcher
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning
Boris Köpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Maneesh Agrawala @magrawala.bsky.social Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford.
http://graphics.stanford.edu/~maneesh
a ton of crates @tonofcrates.bsky.social They will be hearers of many things and will have learned nothing; they will appear to be omniscient and will generally know nothing; they will be tiresome company, having the show of wisdom without the reality.
Jeffrey P. Bigham @jeffreybigham.com Professor of HCII and LTI at Carnegie Mellon School of Computer Science.
jeffreybigham.com
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.
Craig Gidney @craiggidney.bsky.social Research scientist on Google's quantum team, working on reducing the cost of quantum error correction.
Useful tools I've made:
- Quirk: https://algassert.com/quirk
- Stim: https://github.com/quantumlib/stim
- Crumble: https://algassert.com/crumble
Marco Cerezo @mvscerezo.bsky.social Staff Scientist at Los Alamos National Laboratory. Researcher on Quantum Computing and Quantum Machine Learning. Master of dungeons.
Earl Campbell @quantumearl.bsky.social Arch mage of quantumancy @ riverlane / Prof @ Sheffield uni / quantum error correction and algorithms / poster of posts / reader of sci-fi / player of games / father of daughters / cronic typer of typoes & requester of edit buttons
Peter Rohde @drpeterrohde.bsky.social Quantum computer scientist & alpinist.
www.peterrohde.org
Joe Fitzsimons @jfitzsimons.bsky.social Physicist turned startup founder. CEO @ Horizon Quantum Computing.
Stephen Bartlett @bartlettquantum.bsky.social Professor at the University of Sydney. Quantum computing enthusiast.
Views expressed here are my own.
Jonathan Oppenheim @postquantum.bsky.social Quantum mechanic with a lot of ontological baggage.
https://www.ucl.ac.uk/oppenheim/
Korbinian Kottmann @qottmann.bsky.social Quantum compilation & open source software.
working on pennylane.ai
Ian Durham @quantummoxie.bsky.social Quantum physicist, mathematician, and philosopher working on formal models of consciousness, quantum foundations, and quantum information. Proudly part Ukrainian-American. Follow me on Instagram if you like hiking, fishing, and canoeing pics.
David Wierichs @dwierichs.bsky.social Quantum (Info|Computing|Software) Scientist.
Developing and enjoying https://pennylane.ai/
Ross Duncan @rossquantum.bsky.social Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser.
Senior Fellow @ Quantinuum
(I cannot read DMs on Bluesky)
Andreas Wallraff @andreasateth.bsky.social Research and education in physics with a focus on quantum computing, communication and sensing with team Qudev (https://qudev.phys.ethz.ch/) at ETH Zurich. Team lead at the ETHZ-PSI Quantum Computing Hub. Director of the Quantum Center at ETHZ.
Vadym Kliuchnikov @vadym-kl.bsky.social Quantum computing research, photography, vector graphics, building stuff, based in Toronto.
Error Correction Zoo @eczoo.bsky.social Repository and taxonomy of encodings to robustly store and process classical or quantum information. Recent results and highlights. 1000 codes and counting! https://errorcorrectionzoo.org/ https://discord.gg/gg3pJZNYxQ
Michael Nielsen @michaelnielsen.bsky.social Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
John Preskill @preskill.bsky.social Caltech theoretical physicist
Katie McCormick @mccornut.bsky.social Science writer/educator for IBM Quantum. Previously freelance writer for Quanta Mag, Physics Mag, Knowable Mag, etc.
Alán Aspuru-Guzik @aspuru.bsky.social Professor of Chemistry and Computer Science
University of Toronto
Faculty member, Vector Institute
Director, Acceleration Consortium
Senior Director of Quantum Chemistry NVIDIA
My views expressed here are personal and are not those of my employers.
Kartik @k4rtik.bsky.social Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Dan Grossman @dangrossmanseattle.bsky.social