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/
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
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
XBOW @xbow.com Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. https://xbow.com/
Horace He @chhillee.bsky.social @PyTorch "My learning style is Horace twitter threads" -
@typedfemale
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
Vincent Hellendoorn @vhellendoorn.bsky.social Researcher making programming more accessible, Google DeepMind and CMU
Paige Bailey (webpaige.dev) @dynamicwebpaige.bsky.social ✨ Keep it simple, make it scale. AI should be about empowering users and building understanding. 👩💻 AI Developer Experience @ Google DeepMind, ex-Github, ex-Google
Michael Bronstein @mmbronstein.bsky.social DeepMind Professor of AI @Oxford
Scientific Director @Aithyra
Chief Scientist @ProximaBio
ML Lead @ProjectCETI
geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, 🐎 🎶
Thomas Kipf @tkipf.bsky.social Research at Google DeepMind. Ex-Physicist. Controllable World Simulators (GNNs, Structured World Models, Neural Assets). TLM Veo Capabilities (Ingredients & more).
📍 San Francisco, CA
Sam Bowman @sleepinyourhat.bsky.social AI safety at Anthropic, on leave from a faculty job at NYU.
Views not employers'.
I think you should join Giving What We Can.
cims.nyu.edu/~sbowman
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
Thomas Wolf @thomwolf.bsky.social Co-founder @huggingface
Sasha Rush @srushnlp.bsky.social Professor, Programmer in NYC.
Cornell, Hugging Face 🤗
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
GitHub @github.com The AI-powered developer platform to build, scale, and deliver secure software.
ACL 2027 @aclmeeting.bsky.social The Association for Computational Linguistics (ACL) is a scientific and professional organization for people working on Natural Language Processing/Computational Linguistics.
Hash tags: #NLProc #ACL2027NLP
NeurIPS Conference @neuripsconf.bsky.social San Diego Dec 2-7, 25 and Mexico City Nov 30-Dec 5, 25. Comments to this account are not monitored. Please send feedback to townhall@neurips.cc.- B NeurIPS Blog – NeurIPS conference blog [Unofficial] @blog.neurips.cc.web.brid.gy 🌉 bridged from 🌐 https://blog.neurips.cc/: https://fed.brid.gy/web/blog.neurips.cc
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Emily M. Bender @emilymbender.bsky.social Book: https://thecon.ai
Web: https://faculty.washington.edu/ebender
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
ISSTA 2026 Conference @issta.bsky.social The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Oakland, USA // 3-9 October 2026
https://conf.researchr.org/home/issta-2026
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
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/
Prem Devanbu (பிரேம் தேவன்பு) @devanbu.bsky.social Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
François Fleuret @francois.fleuret.org Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality.
https://fleuret.org
Christopher Manning @chrmanning.bsky.social Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
Miltos Allamanis @miltosa.bsky.social Researcher at DeepMind
Lucas Beyer (bl16) @giffmana.ai Researcher (OpenAI. Ex: DeepMind, Brain, RWTH Aachen), Gamer, Hacker, Belgian.
Anon feedback: https://admonymous.co/giffmana
📍 Zürich, Suisse 🔗 http://lucasb.eyer.be
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app