Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty
Kutand Alkฤฑm Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RTโ is not endorsement (he/him)
Ishan S. @nahsimai.bsky.social PhD student, using scene graphs to formalize and validate autonomous systems at runtime.
#FormalMethods #RuntimeMonitoring #SceneGraphs
UCSB Computer Science Department @ucsb-cs.bsky.social 
Horizon Omega @horizonomega.org Advancing AI safety through collaboration, research, and education
https://www.horizonomega.org/
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr
Engineering HR @engineeringhr.bsky.social Engineering Human Resources. A job board and career portal for engineers, researchers and developers. Our website: https://www.engineering.hr
Science Events @scievents.bsky.social Science Events helps you organise a scientific conference or workshop. Use our platform to organise your next event! Visit our platform at https://www.sci.events
Blaine Hoak @blainehoak.bsky.social Ph.D. candidate in Computer Sciences @UWMadison advised by @pdmcdan | secure & trustworthy AI/ML | prev. Ph.D. Intern @Visa Research | she/her ๐ณ๏ธโ๐
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
Ferhat Erata @erata.bsky.social PhD student @Yale โข Applied Scientist @AWS AI โข Automated Reasoning โข Neuro-Symbolic AI โข Alignment โข Security & Privacy โข Views my own โข https://ferhat.ai
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
David Hartman @dawiet.bsky.social 
Yulei @yulei-chen.bsky.social Developer. M.Sc. Computer Science student at Karlsruhe Institute of Technology (KIT). they/she
Rick Elrod @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
Otto Sahlgren @ottosahlgren.bsky.social Doctoral Ressearcher @ Tampere Uni. AI Ethics + Algorithmic Fairness + Political Philosophy + Critical EdTech. He/him.
Durgasunil @durgasunil.bsky.social 
Ray Hermann Angossio Liwa @rayangossio.bsky.social Businessman, Scientist,US Federal Tax professional, Author , Chief Strategist, founder and owner of the FUSO: Futurists Society.
ABA MEMBER ID: 06199835 ;
PTIN: P02356203 ; CTEC: A328086 ;
NYTPRIN: 12807807;
Visit: linktr.ee/alpharayangossio
Carlo Tasillo @carlotasillo.bsky.social German postdoc in Uppsala ๐ธ๐ช previously at DESY Hamburg. Green politics ๐ป Research on the early universe ๐, dark matter โ, gravitational waves ๐, and phase transitions ๐ง. (he/him)
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Anne Koziolek @akoziolek.bsky.social Professor for software engineering at @kit.edu. Interested in automated capturing of SWA models with NLP and model consistency. @akoziolek@mastodon.acm.org
ATTAP @attap.bsky.social i'm Bruce Edward Spector. Technologist, OG internet entrepreneur, investor. I founded WebCal the first Personal Information Manager for the web (acquired by Yahoo!) My current project, ATTAP (All Things to All Peopleยฎ), can be found at https://attap.ai
Freya @aivlog.bsky.social Digital Diary | Live the moment, love my cats, create a life I love ๐
ENCODE Doctoral Network @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
Noa Kaplan @noakaplan.bsky.social PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
NMR Online Limited @nmronline.bsky.social Independent innovators of online NMR software -- ELEMENTS and ELECTRO
Discover more about our professionally engineered NMR spectroscopy software at https://nmronline.uk
@sann13.bsky.social @sann13.bsky.social 
Laura_lister417 @arlen5ta.bsky.social Entrepreneur ๐
Travel / lifestyle ๐
Digital creator ๐
Stokes-Trantow @ge4ty3ty.bsky.social Company Name: Gulgowski Group
Street Address: 94566 Lime Grove
Zhaoyang Wang @zhaoyangw.bsky.social Researcher | Agentic AI Foundation Models, Bayesian Optimization, Reinforcement Learning, and AutoML. Uni of Birmingham.
Share the latest AI news.
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Andrรฉs Corrada @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. 
Davide Borghi @daveborg.bsky.social Research Fellow from ๐ฎ๐น | Multi-Agent Reinforcement Learning
@roflex.bsky.social @roflex.bsky.social 
kath odonnell ::: AliaK ::: invisibleart.space @aliak.bsky.social invisibleart.space art gallery & project space (SYD)
ex-system integration TV engineer/PM. starting Masters of IT(AI). making art on extinction -> specture. books, art, music, ecology, landscape, tech, learning. making my own fun
Daniel Dobriy @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.- S Klaus Schmid @sklaus.bsky.social Working on future software engineering technologies and teaching about it.
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.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Ryan McGrady @antisomniac.bsky.social Internet, YouTube, Wikipedia, TikTok, NYC, birds...
Sr Research Fellow @ UMass Amherst/IDPI/Media Cloud.
Best known as "some scholar who said something" from Hard Fork
rhododendrites.com
Rhododendrites @ Wikipedia/Instagram
Antisomniac @ Mastodon.social- W Fazalrahman Mayar @websiteinfo.bsky.social "Web enthusiast sharing tips, tutorials, and videos about building and optimizing websites. Follow for insightful content on web design, development, and the latest in tech. Account managed by Fazal Rahman Mayar."
@pipocaq.bsky.social @pipocaq.bsky.social 
Dr. Aaron McKain, M.S.L. @drwherewolf.bsky.social Minneapolis: PhD/law + 20 years fixing disinfo, AI, free speech, & privacy.
Got both sides 2 work together: MAGA+SJWs+Big10+ACLU+Bar Assocs+Netflix+ADL, etc.
Story is nuts (vid below): Forbes, CBS, NBC
Donate + Deets + Receipts: www.draaronmckain.com
Fabian Offert @zentralwerkstatt.org Associate Professor UC Santa Barbara | I study how machine learning models represent culture and what is at stake โ aesthetically and politically โ when they do.
@sashabanks7.bsky.social @sashabanks7.bsky.social 
Paul Cochrane @paulcochrane87.bsky.social Global Services Manager @ Hyland | Passionate about services, healthcare, digital health, AI & cloud | BSc, PRINCE2, MSP, L6ฯ Green Belt | Opinions are my own | https://linktr.ee/paulcochrane
Josh Shepperd @joshshepperd.bsky.social Political Economy of Media Theory; Director, RPTF + Sound Fellow, Library of Congress NRPB; Associate Professor, University of Colorado
Daniel Hutchinson @dhutchinson.bsky.social Historian and digital humanist. Researches WWII, exploring historical applications of AI. http://danielhutchinson.org
Alessandro Crimi @alecrimi.bsky.social Prof.@AGH_Krakow. Intersecting #neuroscience/#AI and #impact #social development.
#innovation #globalhealth All links: http://linktr.ee/alecrimi
Marc Garrett @mgarrett.bsky.social Buy my Feral Class book. https://www.minorcompositions.info/?p=1561
Researcher in Post-digital Culture, academic, artist, writer, curator, activist, techie, PhD co-founder @furtherfield.bsky.social :-)
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Karl Smith @karl-smith.bsky.social #Interim Consultant #CIO #CTO | #AI #Transformation #OrgDesign #Governance | #Strategist and #ThoughtLeader | #EU #UK Citizen | Thinkers360 Top 50 Overall #Globally and Top 10 in #EMEA https://organisational-design.com
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
LuminLabs AI @luminlabs.bsky.social AI Research & News: At Your Fingertips
Morgan Cappel @shoppify.bsky.social Not witty but I am very sincere person. She/her
Michael Kevin Spencer @aisupremacy.bsky.social Canadian in Taiwan. Emerging tech writer, and analyst with a flagship Newsletter called A.I. Supremacy reaching 115k readers
Also watching Semis, China, robotics, Quantum, BigTech, open-source AI and Gen AI tools.
https://www.ai-supremacy.com/archive
@bluemeniscus.bsky.social @bluemeniscus.bsky.social 
Abel Dantas @abeldantas.bsky.social Researcher, Distributed Systems
@rtadelacruz.bsky.social @rtadelacruz.bsky.social 
Ravi Mangal @ravimangal.bsky.social Computer Scientist. Assistant Professor at Colorado State University. Formal Methods + Trustworthy Machine Learning