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
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
FLoC 2026 @floc2026.bsky.social 
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
Berlin Blockchain Week 💜 June 13-21, 2026 @blockchainweek.berlin Join the 7th edition of our community-organized week for high-quality conferences + gatherings about blockchain and adjacent fields! 🐻 June 13-21 //📍 Berlin // https://blockchainweek.berlin/
Gwynne Hogan @gwynnefitz.bsky.social Reporter covering immigration, homelessness, other stuff, for THE CITY
Tips: ghogan@thecity.nyc or dm me for signal
NYC Progressives @nycprogressives.bsky.social New York City Council Progressive Caucus
Building power for a more just, equitable and thriving NYC
Founded in 2009 nycprogressives.com
Council Member Crystal Hudson @cmcrystalhudson.bsky.social New York City Council Member representing Crown Heights, Prospect Heights, Fort Greene, Clinton Hill in Brooklyn. Chair, Committee on Aging.
Danilo Poccia @danilop.bsky.social AI Solutions Director @ Nearform (ex AWS/Oracle/Sun). Few pics, some music. My opinions. Complexity is a science. He/him.
@brigidjohnson.bsky.social @brigidjohnson.bsky.social 
Barack Obama @barackobama.bsky.social Dad, husband, President, citizen. barackobamabooks.com
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”
Chris Hayes @chrislhayes.bsky.social Bronx boy. Cubs fan. Dad, husband, writer, podcaster and cable news host.
The Sirens’ Call: How Attention Became the World’s Most Endangered Resource out now.
https://sirenscallbook.com/
Sebastian Ullrich @derkha.bsky.social makes Lean at Lean FRO
Munich, Germany
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Peščanik @pescanik.bsky.social Ako vam je dobro, onda ništa
https://pescanik.net/
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
𝔊𝔴𝔢𝔯𝔫 @gwern.bsky.social gwern.net
Simons Institute for the Theory of Computing @simonsinstitute.bsky.social The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
Veselin Raychev @veselinr.bsky.social INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
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
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.
Market Hotel @markethotel.bsky.social community nightclub / concert place
since 2008
1140 Myrtle Ave @ Broadway (above Mr Kiwi)
Myrtle/Broadway, Bushwick, Brooklyn, New York City
http://linktr.ee/markethotel
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Greg Durrett @gregdnlp.bsky.social CS professor at NYU. Large language models and NLP. he/him
@amitayush.bsky.social @amitayush.bsky.social 
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Joshua Garcia @joshua-garcia-swe.bsky.social Associate Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture.
Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Katie Mack @astrokatie.com Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, ex-physicist. More about me at benbrubaker.com. Banner art by Nico Roper — find more of their work at nicoroper.com. [Obligatory disclaimer about views being my own.]
Tobias Rothmann @tobiasrth.bsky.social Formal Methods, Cryptography, Complexity Enthusiast
Formal Verification Intern @ethereum.foundation
prev. Cryptography @ Arcium
CS @ TUM
https://tobias-rothmann.github.io
SCOTUSblog @scotusblog.com Independent news and analysis on the U.S. Supreme Court. This is the official account of scotusblog.com.
Hanna Wallach @hannawallach.bsky.social VP and Distinguished Scientist at Microsoft Research NYC. AI evaluation and measurement, responsible AI, computational social science, machine learning. She/her.
One photo a day since January 2018: https://www.instagram.com/logisticaggression/
Yacine Jernite @yjernite.bsky.social Head of ML & Society at Hugging Face 🤗
Mark Riedl @markriedl.bsky.social AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Talia Ringer @taliaringer.bsky.social 
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Rob Reich @robreich.bsky.social Professor, Stanford University
Just Giving: Why Philanthropy is Failing Democracy
System Error: Where Big Tech Went Wrong- T Thomas Dietterich @tdietterich.bsky.social Safe and robust AI/ML, computational sustainability. Former President AAAI and IMLS. Distinguished Professor Emeritus, Oregon State University. https://web.engr.oregonstate.edu/~tgd/
Alex Tamkin @alextamkin.bsky.social machine learning, science & society @anthropic.com | recently: Clio, Anthropic Economic Index, Claude Artifacts | prev: phd, stanford nlp. alextamkin.com
Sanjeev Arora @profsanjeevarora.bsky.social Director, Princeton Language and Intelligence. Professor of CS.
billions of packets @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
Stefan Szeider @szeider.bsky.social Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Carsten Sinz @carstensinz.bsky.social 
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
Werner @wernervogels.bsky.social CTO @ Amazon
@fedchin.bsky.social @fedchin.bsky.social 
@ccadar.bsky.social @ccadar.bsky.social 
@rakamaric.bsky.social @rakamaric.bsky.social 
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
Filip Niksic @fniksic.bsky.social Software Engineer @ Google
Previously @ UPenn, MPI-SWS
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Dad Jokes @dadsaysjokes.com Your go-to page for daily dad jokes 👨🤣
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
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
Nikolaj @nikolajbjorner.bsky.social 
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)
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Ben Liblit @liblit.bsky.social 
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Caterina Urban @caterinaurban.bsky.social 
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
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. 
@myvardi.bsky.social @myvardi.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
@rpiskac.bsky.social @rpiskac.bsky.social 
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Geoffrey Irving @girving.bsky.social Cofounder and Chief Scientist at Resolution. Alignment will be solved eventually, but not necessarily in time. Previously UK AISI, DeepMind, OpenAI, Google Brain, etc.
Anthropic @anthropic.com We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
ACLU @aclu.org A nonprofit, nonpartisan, legal and advocacy 501(c)(4) organization. Visit our site for more about us and our affiliated organization, the ACLU Foundation.
@xenaproject.bsky.social @xenaproject.bsky.social 
Lance Fortnow @lance.fortnow.com Complexity Theorist
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit