Cedric Richter
Research scientist at University of Oldenburg.
Interested in teaching machines the art of debugging.
@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/
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@xbow.com
Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. Watch XBOW hack things: https://xbow.com/traces
@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
@vhellendoorn.bsky.social
Researcher making programming more accessible, Google DeepMind and CMU
@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
@mmbronstein.bsky.social
DeepMind Professor of AI @Oxford Scientific Director @Aithyra Chief Scientist @VantAI ML Lead @ProjectCETI geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, 🐎 🎶
@tkipf.bsky.social
Research at Google DeepMind. Ex-Physicist. Controllable World Simulators (GNNs, Structured World Models, Neural Assets). 📍 San Francisco, CA
@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
@markriedl.bsky.social
AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Associate Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
@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.
@phdcomics.bsky.social
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, We Have No Idea and PHD Comics
@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 #ACL2025NLP
@neuripsconf.bsky.social
The Thirty-Eighth Annual Conference on Neural Information Processing Systems will be held in Vancouver Convention Center, on Tuesday, Dec 10 through Sunday, Dec 15. https://neurips.cc/
@blog.neurips.cc.web.brid.gy
[bridged from https://blog.neurips.cc/ on the web: https://fed.brid.gy/web/blog.neurips.cc ]
@emilymbender.bsky.social
Book: https://thecon.ai Web: https://faculty.washington.edu/ebender
@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.bsky.social
The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis Trondheim, Norway // 25-28 June 2025 https://conf.researchr.org/home/issta-2025
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@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.
@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/
@devanbu.bsky.social
Husband, Dad, Software Engineering researcher at UC Davis, Humboldtian. Loves good ideas, jokes, pranks and The Great Outdoors.
@francois.fleuret.org
Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality. https://fleuret.org
@chrmanning.bsky.social
Stanford Linguistics and Computer Science. Director, Stanford AI Lab. Founder of @stanfordnlp.bsky.social . #NLP https://nlp.stanford.edu/~manning/
@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
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app