Peter O'Hearn @peterohearn.bsky.social Researcher at Meta (FAIR) & Prof at UCL.
Working on AI, code and reasoning.
Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Evan Miyazono @miyazono.bsky.social Presumption of innocence for people, not software
FLoC 2026 @floc2026.bsky.social 
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
Peter Gleick @petergleick.bsky.social Climate, water, birds, bluegrass mandolin. Member US National Academy of Sciences, MacArthur Fellow, Carl Sagan Prize, author of The Three Ages of Water (2023) and When the Well Runs Dry (2026). Email me at pgleick (at) gmail.
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Kristian G. Andersen @kgandersen.bsky.social Infectious diseases & genomics. Immunologist in (voluntary) exile. Minimal sarcasm. Fierce HOA (Hater of Acronyms). Personal account - opinions expressed are my own and not those of my employer.
Elizabeth Warren @warren.senate.gov U.S. Senator, Massachusetts. She/her/hers. Official Senate account.
https://substack.com/@senatorwarren
Senator Bernie Sanders @sanders.senate.gov Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
Kamala Harris @kamalaharris.com Always fighting for the people.
Wife, Momala, Auntie. She/her.
107 Days, my behind-the-scenes account of the shortest campaign in history, is available now at https://kamalaharris.link/107Days.
The Obama Foundation @obamafoundation.bsky.social We believe in a world with more opportunity, participation, and trust.
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
Hakeem Jeffries @hakeem-jeffries.bsky.social Brooklyn Congressman. Democratic Leader.
Work hard. Stay focused. Deliver results #ForThePeople.
Senator Amy Klobuchar @klobuchar.senate.gov Senior U.S. Senator from MN | Snow enthusiast ❄️
Pete Buttigieg @petebuttigieg.bsky.social Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
Timothy Snyder @timothysnyder.bsky.social Temerty Professor of Modern European History, Munk School, University of Toronto; Permanent Fellow, IWM Vienna; Emeritus Levin Professor, Yale. Author of "On Freedom," "On Tyranny," "Our Malady," "Road to Unfreedom," "Black Earth," and "Bloodlands"
Sen. Cory Booker @booker.senate.gov Proudly serving the people of New Jersey in the U.S. Senate. 
Hillary Rodham Clinton @hillaryclinton.bsky.social Doting grandmother, among other things.
Penguins Against Trump @penguinsagainstdt.bsky.social @penguinsagainsttrump on Threads
Mia K. Markey @markeymk.bsky.social Engineering professor. Cancer researcher. Parent. I speak for myself. She/They.
Justin Yirka @justinyirka.bsky.social Quantum computing researcher at Blanqet | PhD from UT Austin w/ Scott Aaronson group
https://www.justinyirka.com/
@alpbassa.bsky.social @alpbassa.bsky.social 
Jocelyn Anderson Photography @jocelynanderson.bsky.social Photography who is a big fan of birds
Mehmet Mars Seven ♞ @mehmetmars7.bsky.social Lecturer @kcl-spe.bsky.social @kingscollegelondon.bsky.social
Game Theory, Econ & CS, Pol-Econ, Sport
Chess ♟️
Game Theory Corner at Norway Chess
Studied in Istanbul -> Paris -> Bielefeld -> Maastricht
Views are my own
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
@kasikci.bsky.social @kasikci.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Jeremy Epstein @jeremyepstein.bsky.social Former WH OSTP privacy guy. NSF SaTC (cybersecurity and privacy) lead for a decade, now trying to figure out what's next. Dad, grandfather. Personal account, nothing official here.
Prashant Nair @prashantnair.bsky.social The opinions here are of my own.
Aydın Buluç @aydozz.bsky.social Senior Scientist (Computing) at Lawrence Berkeley Lab, Adjunct Faculty (EECS) at UC Berkeley. https://people.eecs.berkeley.edu/~aydin/
Jacob Schreiber @jmschreiber91.bsky.social Studying genomics, machine learning, and fruit. My code is like our genomes -- most of it is junk.
Assistant Professor UMass Chan
Previously IMP Vienna, Stanford Genetics, UW CSE.
@108anup.bsky.social @108anup.bsky.social Computer science PhD student at CMU. https://www.cs.cmu.edu/~anupa/
Sebastian Angel @sga001.bsky.social CS Professor at Penn
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Vivian Jenna Wilson @thevivllainous.bsky.social She/Her 🍉
Bsky is my spam acct basically
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
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
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Peyman Milanfar @docmilanfar.bsky.social Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time.
http://milanfar.org
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
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.
@ozgenera.bsky.social @ozgenera.bsky.social 
Levi Lelis @programsynthesis.bsky.social Associate Professor - University of Alberta
Canada CIFAR AI Chair with Amii
Machine Learning and Program Synthesis
he/him; ele/dele 🇨🇦 🇧🇷
https://www.cs.ualberta.ca/~santanad
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Michael Hind @michaelhind.bsky.social IBM Distinguished RSM, working on AI transparency, governance, explainability, and fairness. Proud husband & dad, Soccer lover. Posts are my own.
Ziteng Wang @zetten.bsky.social PhD student working on program synthesis. https://ziteng.wang/
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
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Jerremy Holland @jerremy.bsky.social Director of AI Research at Apple. Board Chair for Partnership on AI. Photographer. Musician.
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@ccadar.bsky.social @ccadar.bsky.social 
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
Akari Asai @akariasai.bsky.social Ph.D. student at University of Washington CSE. NLP. IBM Ph.D. fellow (2022-2023). Meta student researcher (2023-) . ☕️ 🐕 🏃♀️🧗♀️🍳 
Nezihe Merve Gürel @nmervegurel.bsky.social Assistant Professor in Computer Science
Research in ML robustness, reliability and reasoning
PhD from ETH Zurich🇨🇭
Executive Editor of DMLR Journal
Organizing Committee NeurIPS and ICLR
Vitalik Buterin @vitalik.ca 
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Jocelyn Chen @jqchen.bsky.social 
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
Hadi Hariri @hadihariri.com SVP of Operations @ JetBrains.
Sierra Club @sierraclub.org Explore, enjoy, and protect the planet!
sierraclub.org
The Atlantic @theatlantic.com Exploring the American idea through ambitious, essential reporting and storytelling. Of no party or clique since 1857. http://theatlantic.com
Texas Observer @texasobserver.org A nonprofit newsroom covering Texas through investigative journalism & narrative storytelling since 1954.
Follow our journos: https://go.bsky.app/EdSL3Co
🤠Learn more about us: https://linktr.ee/texasobserver
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
Ahmad Beirami @abeirami.bsky.social stealth // Gemini RL+inference @ Google DeepMind // Conversational AI @ Meta // RL Agents @ EA // ML+Information Theory @ MIT+Harvard+Duke // Georgia Tech PhD
📍{NYC, SFO, YYZ}
🔗 https://beirami.github.io/
Thomas L Friedman @thomaslfriedman.bsky.social New York Times Foreign Affairs Columnists and Author
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/
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.
Andreas Krause @arkrause.bsky.social Professor at ETH Zurich
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/
AlphaFold Unofficial @alphafold.bsky.social Unofficial account exploring the intersection of biology, molecules, science, AI and protein folding with AlphaFold.
MicroBlocks @microblocks.bsky.social MicroBlocks is a free, live blocks programming language for microcontrollers such as the micro:bit, Calliope mini, Raspberry Pi Pico, ESP32 and many more.
https://microblocks.fun/
https://fosstodon.org/@microblocks
https://discord.gg/TCpHYbcvkS
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Bogdan Vasilescu @vasilescu.bsky.social I shorten academic research papers to fit in 10 pages for a living, at CMU.
https://www.instagram.com/count_scratchula
http://bvasiles.github.io
Daye Nam @daye-nam.bsky.social 
Carl Vondrick @cvondrick.bsky.social Professor at Columbia. Computer Vision and Machine Learning 
Daron Acemoglu @dacemoglumit.bsky.social Institute Professor, MIT Economics. Co-Director of @mitshapingwork.bsky.social. Author of Why Nations Fail, The Narrow Corridor, and Power & Progress.
Zeke Emanuel, MD, PhD @zekeemanuel.bsky.social Penn professor, bioethicist, oncologist, and New York Times bestselling author of "Eat Your Ice Cream: Six Simple Rules for a Long and Healthy Life."
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.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@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
Brighten Godfrey @bgodfrey.bsky.social https://pbg.cs.illinois.edu
Necmiye Ozay @necozay.bsky.social Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
Mathieu Alain @miniapeur.bsky.social Gradient surfer at UCL. FR, EN, also trying ES. 🇹🇼🇨🇦🇬🇳🇺🇸🇩🇴🇫🇷🇪🇸🇬🇧🇿🇦. Also on Twitter.
Sam Madden @samrmadden.bsky.social MIT Professor in EECS, Co-Founder Cambridge Mobile Telematics, Dad
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
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/