YesPress @yespress.bsky.social Covering people, companies and products shaping our world.
Michele Alberti @lambdaxdotx.bsky.social 
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
The Liberty Pear @thelibertypear.com https://www.TheLibertyPear.com
NO MAGA, Pro Democracy. Populism, working class advocacy, democratization of the economy, & Democratic Socialism.
Based in NYC.
News, economics, politics, holding power to account, & open discussion.
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
@galinica90-90.bsky.social @galinica90-90.bsky.social 
Lorenz Leutgeb @lorenz.leutgeb.xyz PhD student in Automation of Logic at Max Planck Institute for Informatics
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
@galina1990.bsky.social @galina1990.bsky.social 
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
AllSeerX 👁️ ✪ @allseerx.bsky.social Fan des réseaux, de la musique , du cinéma, des séries , de la WWE . Des sports tv
https://linkfly.to/WinterAnge
Caterina Urban @caterinaurban.bsky.social - V @valyakuttan.bsky.social @valyakuttan.bsky.social
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
Carsten Sinz @carstensinz.bsky.social 
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
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@ccadar.bsky.social @ccadar.bsky.social 
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
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
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.
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)
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
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
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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
Filip Niksic @fniksic.bsky.social Software Engineer @ Google
Previously @ UPenn, MPI-SWS
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
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
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Trans-Pecos @transpecos.bsky.social community music place
since 2005
9-15 Wyckoff Ave (next to Nhà Mình restaurant)
Ridgewood, Queens, New York City
http://linktr.ee/trans.pecos
Todd Patrick @toddpatrick.bsky.social People of a certain age might know me as "Todd P"
I live in NYC and talk+consume mostly politics and news on these kinds of apps
My involvement in music is largely janitorial /facilities maintenance these days, I'm more or less retired from show booking
Isidor @isidor.rs I make Extremely detailed music! Immerse yourself into my futuristic soundscapes, I am a boundarypushing synthwave producer at #NewRetroWave Your own music guide!
Supported by Reveal Sound!
DM for mix and master!⬇️
My music
https://hyperfollow.com/Isidor
@alexheikel.bsky.social @alexheikel.bsky.social www.darwin.id
DEGEN NEWS @degeneratenews.bsky.social Reporting DEGEN nonsense. Links: http://linktr.ee/degen_news.
Stephen D’Alessio @sdalio.bsky.social New Jersey born, passionate about community service and the environment
Izaias *Blancore ❅ @blancore.bsky.social brazillian aspiring artist, student, 20y 11/11
écletico, e alem doq uma bio poderia resumir
i am not spam
pardon me bluesky
thelaptoplegend @thelaptoplegend.bsky.social Day Trader
optix @psyoptix.bsky.social Cryptography, security, travel, music, food, and all things fun.
Mohammad Safari @msafariofficial.bsky.social • The Official Account Of Mohammad Safari
• Musician | Producer | Actor | DJ
• Social Media Manager
• eFootball Pro Player
• Entrepreneur
g.co/kgs/RrqRVw
msafariofficial.com
accountless @alexanderchopan.bsky.social casberi.app | ex- trust wallet. sequence. pimlico. poap. polygon. metamask. paxful. flipside crypto. dash. bridgewater associates. darpa. secdef. navy. dia. | linktr.ee/alexanderchopan
Tancrède Lepoint @tancre.de Applied Scientist at AWS • Cryptographer • My opinions are my own • 🏳️🌈 (he/him)