Vitalik Buterin @vitalik.ca 
Citizen Kate @citizenkate.satan.social insomnia | movies | cats n punk rock
https://letterboxd.com/katiodrome/
profile photo (not AI) by IG: @psycho.moustache (Hamza Lafrouji)
ᴄʜᴀʀʟᴇʏ★ᴘɪʀᴏᴛʜ @charlespiroth.bsky.social Visual art, writing, and other things
that bring meaning to the art of living- H Greg @hexive.bsky.social
arXiv cs.CR Cryptography and Security @cscr-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.CR/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
ETH Zurich @ethz.ch Where the future begins. 🚀🔬 One of the world’s leading universities for technology & natural sciences. Posts in both English and German.
www.ethz.ch
Alexander Krull @alex-krull.bsky.social Assistant Professor at Uni Birmingham. Working on Image processing, denoising, generative image models and other interesting things.
Lisa Bortolotti @lisabortolotti.com Philosopher (Birmingham/Ferrara). Founder of the Imperfect Cognitions blog and The Philosophy Garden. Editor of Philosophical Psychology. More at: lisabortolotti.com
University of Birmingham @unibirmingham.bsky.social Official account for the University of Birmingham.
Changing how the world works.
www.birmingham.ac.uk
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/
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
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.
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
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.
Andrea Bombarda @bombardandrea.bsky.social Junior Assistant Professor (RTD-A) at the University of Bergamo working on Software Testing and Software Engineering for medical software and systems
Webpage: cs.unibg.it/bombarda/
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
Swen Jacobs @swenjacobs.bsky.social Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group
Research interests: formal verification, synthesis and learning
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security- P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Technische Universität München @tum.de This is the official account of the Technical University of Munich – Technische Universität München (TUM).
Follow us on W Social: https://wsocial.eu/profile/tum.de
Website: http://tum.de/en
Legal notice: http://tum.de/legal-notice
Institute of Science and Technology Austria (ISTA) @istaresearch.bsky.social The Institute of Science and Technology Austria (ISTA) is dedicated to cutting-edge basic research and graduate education.
www.ista.ac.at
CISPA Helmholtz Center for Information Security @cispa.de Shape the future world.🚀
🔒Cybersecurity I 🫱🏻🫲🏼Privacy I 🤖Trustworthy AI
Privacy Policy and Legal Notice: https://cispa.de/en/linkinbio
arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.FL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.LO/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app