Samuel Teuber
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
@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/
@seanmk.bsky.social
Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
@aggray.bsky.social
Head, Centaur AI Institute: neuro-symbolic AI research and education. Ex- tenured prof, big tech VP, startup co-founder. centaurinstitute.org
@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
@relrod.bsky.social
Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his. GitHub: https://github.com/relrod
@jnpn.bsky.social
Lisp / FP / Logic programming / APL Applied Math / Comp bio wannabee looking for projects in MDD/MDA, RO, DX, cs.PLT
@akoziolek.bsky.social
Professor for software engineering at @kit.edu. Interested in automated capturing of SWA models with NLP and model consistency. @[email protected]
@encodenetwork.bsky.social
https://www.encode-doctoral-network.eu European Network in Coding Theory and Applications: A Horizon Europe Marie Skłodowska-Curie Action Doctoral Network
@zhouxingshi.bsky.social
PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
@noakaplan.bsky.social
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
@idenarch.bsky.social
currently researching the social history of the early internet (think algorithms, architectures, and archives) currently @ stanford / prev @ northeastern first gen 🎓 | 🏳️🌈
@zhaoyangw.bsky.social
CS PhD student at the University of Birmingham. Research interests: automated machine learning-AutoAI (Gaussian Processes & meta-learning), and reinforcement learning. 🏳️🌈. https://www.linkedin.com/in/zhaoyang-w-4995b5269/
@krvarshney.bsky.social
I wrote a book. Free pdf: http://trustworthymachinelearning.com Paperback: http://amazon.com/dp/B09SL5GPCD Posts are my own and don't necessarily represent IBM.
@andrescorrada.bsky.social
Scientist, Inventor, author of the NTQR Python package for AI safety through formal verification of unsupervised evaluations. On a mission to eliminate Majority Voting from AI systems. E Pluribus Unum.
@juand-r.bsky.social
CS PhD student at UT Austin in #NLP Interested in language, reasoning, semantics and cognitive science. One day we'll have more efficient, interpretable and robust models! Other interests: math, philosophy, cinema https://www.juandiego-rodriguez.com/
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@smntc.bsky.social
Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester | Making Formal Methods better and more practical
@alecrimi.bsky.social
Prof.@AGH_Krakow. Intersecting #neuroscience/#AI and #impact #social development. #innovation #globalhealth All links: http://linktr.ee/alecrimi
@paulcochrane87.bsky.social
Passionate about healthcare, digital health, AI & cloud | BSc, PRINCE2, MSP, L6σ Green Belt | Opinions are my own | https://linktr.ee/paulcochrane
@molly.wiki
independent writer of citationneeded.news and @web3isgoinggreat.com • tech researcher and cryptocurrency industry critic • software engineer • wikipedian support my work: citationneeded.news/signup links: mollywhite.net/linktree
@meredithmeredith.bsky.social
President of Signal, Chief Advisor to AI Now Institute
@parismarx.com
i criticize the tech industry 🎙️ @techwontsave.us & @systemcrash.info 📬 https://disconnect.blog 📖 https://roadtonowherebook.com
@katestarbird.bsky.social
Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer. #RageAgainstTheBullshitMachine
@kissane.bsky.social
Making and mending networks and knowledge. Co-founded the Covid Tracking Project, previously OpenNews, old web nonsense. Working/thinking at wrecka.ge, launching new work at Unbreaking soon
@kortizart.bsky.social
Karla is a Puerto Rican artist who loves to paint and draw. Karla works on Films (MCU, ILM,HBO), Games, TV, Covers, Fine art, etc. She is also a passionate advocate for better artist industries+ rights. Opinions are her own. ✌️ www.karlaortizart.com
@zephoria.bsky.social
STS researcher who likes to look at things sideways. Founded Data & Society. Topics: Census | Youth | Data | Society Microsoft Research -> Cornell (2025) https://made-not-found-by-danah-boyd.ghost.io
@404media.co
it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
@histoftech.bsky.social
Historian of technology and dad joke aficionado who lives with a tiny, spotlight-stealing rabbit. www.marhicks.com for writing & syllabi
@justinhendrix.bsky.social
Concerned with tech, media and democracy. CEO & Editor at Tech Policy Press. Research & Adjunct Professor at NYU Tandon School of Engineering. Opinions mine.
@josephcox.bsky.social
Hacking/crime/privacy journalist. Author of DARK WIRE, buy here: https://www.hachettebookgroup.com/titles/joseph-cox/dark-wire/9781541702691/#preorder Co-founder of 404 Media. Signal: joseph.404 Email: [email protected]
@mmitchell.bsky.social
Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse. Former: Google, Microsoft; Current: Hugging Face
@sfdirewolf.bsky.social
Author, editor, activist, cat lover. Founder of the Disability Visibility Project. #DisabilityJustice feed I created: https://bsky.app/profile/did:plc:65kss3ewg5ida5mjyuk73v5r/feed/aaaba7ikg4sho More about me https://linktr.ee/disability_visibility
@hypervisible.bsky.social
Every future imagined by a tech company is worse than the previous iteration…or something like that.
@emilymbender.bsky.social
Book: https://thecon.ai Web: https://faculty.washington.edu/ebender
@ntnsndr.in
Teaching and writing media studies at CU Boulder. Helping to build a cooperative fediverse with Social.coop. Fan of democratic experiences and divine mysteries. Co-leading metagov.org, start.coop, wagingnonviolence.org.
@bcmerchant.bsky.social
author of Blood in the Machine, tech writer, luddite newsletter: https://www.bloodinthemachine.com/ cohost, System Crash: https://systemcrash.info/
@abeba.bsky.social
Founder & PI @aial.ie, @tcddublin.bsky.social AI accountability, AI audits & evaluation, critical data studies. Cognitive scientist by training. Ethiopian in Ireland. She/her
@restofworld.org
We’re a nonprofit publication covering global technology outside the West. For the latest updates subscribe to our newsletter here: https://restofworld.org/newsletters/global/
@ethanz.bsky.social
UMass Amherst, Initiative for Digital Public Infrastructure, Global Voices, Berkman Klein Center. Formerly Center for Civic Media, MIT Media Lab.
@carolinesinders.bsky.social
Human rights centered design, art, and policy https://www.convocation.design/ New Orleans and London
@knibbs.bsky.social
Live in Chicago, write for Wired, got a great attitude Email me tips: [email protected] / Signal: kateknibbs.09
@cooperq.com
Senior Staff technologist at @eff.org Fellow at @citizenlab.ca Board member of @openarchive.bsky.social. "Noted activist security type." The Register once called me a boffin. Anti-fascist. he/him. My skeets do not represent views of my employers ⵣ🏴
@techwontsave.us
A left-wing podcast for a better world and better tech. Hosted by @parismarx.com. Made in partnership with @thenation.com. https://techwontsave.us/
@ruchowdh.bsky.social
www.rummanchowdhury.com www.humane-intelligence.org CEO & co-founder, Humane Intelligence US Science Envoy for AI (Biden Administration)
@ruha9.bsky.social
✍🏽 • RACE AFTER TECHNOLOGY: Abolitionist Tools for the New Jim Code • VIRAL JUSTICE: How We Grow the World We Want • IMAGINATION: A Manifesto 📚www.ruhabenjamin.com
@techpolicypress.bsky.social
Technology + democracy. Visit https://techpolicy.press Join our newsletter: https://techpolicy.press/newsletter Opinions do not reflect the views of Tech Policy Press. Reposts do not equal endorsements.