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
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
FLoC 2026 @floc2026.bsky.social 
@techaltar.bsky.social @techaltar.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
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
FormaliSE @formalise.bsky.social International Conference on Formal Methods in Software Engineering
Deutsches Zentrum für Luft- und Raumfahrt (DLR) @dlr-de.bsky.social Wir sind das Deutsche Zentrum für Luft- und Raumfahrt (DLR) und wir lieben unsere Themen: #Luftfahrt #Raumfahrt #Energie #Verkehr #Digitalisierung #Sicherheit
Impressum: s.dlr.de/im
Netiquette: s.dlr.de/ne
Datenschutz: s.dlr.de/ds
➡️ https://www.dlr.de/
German Space Agency at DLR @dlr-spaceagency.bsky.social 100 % Raumfahrt. Wir sind die Deutsche Raumfahrtagentur im DLR. 100% space. We are the German Space Agency at DLR. 🚀
Impressum: https://www.dlr.de/de/service/impressum
Datenschutz: https://www.dlr.de/de/service/datenschutz
DLR-next @dlr-next.bsky.social Der etwas andere Account des Deutschen Zentrums für Luft- und Raumfahrt (DLR)
Webseite: https://www.dlr.de/next
Impressum: https://www.dlr.de/de/service/impressum
Datenschutz: https://www.dlr.de/de/service/datenschutz
German Aerospace Center (DLR) @dlr-en.bsky.social We're the German Aerospace Center & are passionate about our research in #Energy #Transport #Aeronautics #Digitalisation #Space
dlr.de/en
dlr.de/imprint
Vision and Graphics Trends @si-cv-graphics.bsky.social Trending papers in Vision and Graphics on www.scholar-inbox.com.
Scholar Inbox is a personal paper recommender which keeps you up-to-date with the most relevant progress in your field. Follow us and never miss a beat again!
Tübingen AI Center @tuebingen-ai.bsky.social We are a joint partnership of University of Tübingen and Max Planck Institute for Intelligent Systems. We aim at developing robust learning systems and societally responsible AI. https://tuebingen.ai/imprint
https://tuebingen.ai/privacy-policy#c1104
Judith Michael @judithmichael.bsky.social Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
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.- G Andreas Graf @grafandreas.bsky.social Autonomous Driving 🚗 AI for Systems Engineering 🧠
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.
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
Ezio Bartocci @eziobartocci.bsky.social Prof. @ TU Wien, Cyber-Physical Systems,
Chair of TrustACPS Doctoral College
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.
ACM Special Interest Group on AI @acmsigai.bsky.social Association for Computing Machinery Special Interest Group in Artificial Intelligence: https://sigai.acm.org/main/
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
Andreas Geiger @andreasgeiger.bsky.social Professor, University of Tübingen @unituebingen.bsky.social.
Head of Department of Computer Science 🎓.
Faculty, Tübingen AI Center 🇩🇪 @tuebingen-ai.bsky.social.
ELLIS Fellow, Founding Board Member 🇪🇺 @ellis.eu.
CV 📷, ML 🧠, Self-Driving 🚗, NLP 🖺
Magnus Carlsen @magnus-carlsen.bsky.social World Chess Champion. The highest ranked chess player in the world. Former (live) #1 Fantasy Premier League player.
Download my app here 👇
TakeTakeTake.com
PyCon DE & PyData @pyconde.bsky.social Join 1500 🐍 🤓 🦄 at our annual Python & PyData conference 23.-25.04.2025 in Darmstadt / Frankfurt. https://pycon.de
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Ashfaq Farooqui @ashfaqfarooqui.bsky.social Helping autonomous systems do the correct thing. Researcher. FOSS aficionado. Avid reader. Foodie and novice cook.
Heerko Groefsema @heerkog.bsky.social Assistant Professor at the CS department of the Bernouilli Institute of the University of Groningen. Applying formal methods to BPM. Likes to check compliance of change.
https://hgroefsema.nl
Ted Pavlic (he/him/his) @tedpavlic.bsky.social ASU Assoc. Prof in SCAI and SOLS.
Decision making and behavior in living and artificial autonomous systems. I ❤️ ants, bees, wasps, robots, and optimal foraging theory.
mastodon: @tedpavlic@mas.to
Twitter/X: @TedPavlic
@TEDx: http://youtu.be/9GWXCRetOjk
Matt Luckcuck @mattluckcuck.bsky.social An At risk of redundancy' Computer Scientist | Nullius in verba
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app