sawyer @sawyer-p.me it from bit
https://sawyer-p.me
Fabrizio Montesi @fmontesi.bsky.social Director, FORM | Formal Methods at the Scale the World Needs
Masahiro Sakai @msakai.bsky.social Engineer at Noeon Research ← Engineer at Preferred Networks ← Research Scientist at 東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Michele Alberti @lambdaxdotx.bsky.social 
Dirk-Jan Swagerman @djswagerman.buffadoo.nl Chief on demand innovation & technology. (Medical) Systems & Software. Architecture, Lean, (model based) legacy code transformation.
#Systems #Software #Medtech
#Architecture #SystemsThinking
#FormalMethods #TLA+ #Alloy
#IEC62304 #ISO14971 #ISO13485
Brian McRoberts @brimcrob.bsky.social Fifer.
Software Tester.
Raith Rovers and Scotland.
Living in Leith.
Posting mostly random music, Scottish Football, Software Testing, and writing. Shall follow ye back.
Illegitimi non carborundum.
https://threechordthrash.wordpress.com
C.S.Negri @csnegri.bsky.social Requirements Eng/Interdisciplinarity | MSCA @Uni Luxembourg | RP/like ≠ endorsement | Faltas ortográficas | Sometimes != serious | Somewhere in Lux
I talk about data protection, privacy, (ciber)security, EU, USA and Chilean politics. Coffee & climbing ❤️
FLoC 2026 @floc2026.bsky.social 
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Rebus Tóthné Farkas @rebusfarkas.bsky.social Williams Racing fan, #wdbwc25 winner, #wdbwc26 joint winner, computer scientist, research assistant at the Critical Systems Research Group, PhD candidate, wife, mother
AIEthica - Responsible AI from A-Z @aiethica.bsky.social From ethical consulting of new projects, ethics training for developers, managers as well as regulatory support to day-to-day practical model risk management, at AIEthica, we offer a comprehensive range of services tailored to support your responsible AI.
cynsational @cynrdrgz.bsky.social 
@jorgballesteros.bsky.social @jorgballesteros.bsky.social 
Kel Guerin @kelguerin.bsky.social 
Andrew Davison @ajdavison.bsky.social From SLAM to Spatial AI; Professor of Robot Vision, Imperial College London; Director of the Dyson Robotics Lab; Co-Founder of Slamcore. FREng, FRS.
Mary Ellen Foster @maryellenfoster.bsky.social Senior Lecturer in Human-Robot Interaction at
@uofgcompsci.bsky.social. "A disgrace to the Russell Group" according to an anonymous student evaluation.
She/her. 🇨🇦
https://www.maryellenfoster.uk/
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@kikofernandezreyes.bsky.social @kikofernandezreyes.bsky.social 
Evan Ackerman @evanackerman.bsky.social Senior editor at IEEE Spectrum. I hug robots.
spectrum.ieee.org
Davide Faconti @facontidavide.bsky.social Doing robotics, open source software and programming in C++, for fun and profit.
Stop Killer Robots @stopkillerrobots.bsky.social Stop Killer Robots works to ensure human control in the use of force. Our campaign calls for new international law on autonomy in weapons systems. #TeamHuman
tosem @acm-tosem.bsky.social 
Nicola Bellotto @nbellotto.bsky.social Associate Prof @ UniPD
Machine Intelligence Group @ IAS-Lab
https://iaslab.dei.unipd.it/groups/mig/
Adam @neutrinos4all.bsky.social “We predict the future. And the best way to predict it is to invent it.” Formal methods, command and control, PhD, ham@KC3OUT.
Russell Wald @russellwald.bsky.social Executive Director at Stanford HAI, Steering Committee Member at AI Index. Passionate about social implications of tech and governance of AI.
David De Roure @david.deroure.org Oxford interdisciplinary prof: music & AI, digital & scholarship, AI & cyber, web science & social machines, Lovelace & creativity, jazz & bass
Chris Marsden @chrismarsden.bsky.social Professional on LinkedIn, no quote without permission pls. I'm not the news. Often post blue skies. Mainly sports politics (not US) travel. Prof AI & Internet/tech co-regulation: views personal. He/him #FirstGen Liverpool, cricket & cycling tragic #JFT97
ACM FAccT @facct.bsky.social ACM Conference on Fairness, Accountability, and Transparency (ACM FAccT). June 2026 in Montreal, Canada 🇨🇦 #FAccT2026
https://facctconference.org/
@furiousengineering.bsky.social @furiousengineering.bsky.social 
Siddartha Khastgir @siddkhastgir.bsky.social Creating Safe SelfDriving Tech & Safe AI
UKRI Future Leaders Fellow, WMG, Uni of Warwick, UK
Director, PAVE UK
ForbesUnder30 alum
TEDx speaker
IITKgp
4ever ManUtd
Interests: Transport, EDI, ⚽️
Matt Luckcuck @mattluckcuck.bsky.social An At risk of redundancy' Computer Scientist | Nullius in verba
Nassim Parvin @nassimparvin.bsky.social Prof. & Associate Dean of IDEAS at the iSchool, University of Washington | Design Justice, Feminist Philosophy, & Feminist STS | Recent book w/ Neda Atanasoski: “Technocreep & the Politics of Things Not Seen.” Ideas my own!
Centre for Assuring Autonomy @cfaa.bsky.social Advancing safety assurance of autonomous systems, AI, and robotics across the globe. A partnership between Lloyd’s Register Foundation and the University of York. Contact us for research projects, training and workshops, or consultancy on safety assurance.
FormaliSE @formalise.bsky.social International Conference on Formal Methods in Software Engineering
@seamsconf.bsky.social @seamsconf.bsky.social 
Liliana Pasquale @lsalander.bsky.social Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Volker Stolz🏳️🌈 @fm-volker.mastodon.social.ap.brid.gy Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl. Part of the control-group & […]
🌉 bridged from ⁂ https://mastodon.social/@fm_volker, follow @ap.brid.gy to interact
Xiaowei Huang @xiaowei2023.bsky.social Postdoc in Stanford University
Mark Sujan @marksujan.bsky.social Chartered Ergonomist (C.ErgHF). Interested in human factors and safety science.
Robert Hawkins @rdhawkins.bsky.social asst prof @Stanford linguistics | director of social interaction lab 🌱 | bluskies about computational cognitive science & language
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
Bijan Parsia @bparsia.bsky.social I am a Prof of Comp Sci at Uni of Manchester, UK. UCU NEC disabled member rep (2023-24). UCUCommons. All posts are my own behalf alone. He/him/they.
Marija Slavkovik @mslavkovik.bsky.social collector of snowflakes. professor of AI at @UiB in Norway.
Merel Noorman @mereln.bsky.social Ethics, Governance, AI, Tilburg Institute for Law Technology and Society
Shaukat Ali @shukat-ali.bsky.social 
Erin Nolan @erinnolan.bsky.social Covering Maui for Honolulu Civil Beat. Formerly: The New York Times, The Times Herald-Record, The Salem News and The Eagle-Tribune
Marina Jirotka @marenka.bsky.social Professor Human Centred Computing - University of Oxford - passionate about nature animals and the wild
Risa Ueno @risaueno.bsky.social 
Helen Francis @helenfrancis21.bsky.social Well I’m easy going and a very intelligent person and I’m looking for love , I’m like the wind I’m everywhere you just gotta find me at Tellhergram it’s so simple youser @helenfrance23
Remco Timmermans @timmermansr.bsky.social 🚀🛰️ Social media for space at spaceagenda.com and spaceside.eu | Co-founder of SpaceCommsAlliance.com | Faculty at ISUnet.edu | #DigitalNomad
🌍citizen 🇳🇱passport 🇬🇧resident 🇪🇪e-resident
Thomas H Zurbuchen @drthomasz.bsky.social Scientist, Explorer, Innovator, ETH Prof, NASA’s head of Science 2016-2022
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
@ddiruscio.bsky.social @ddiruscio.bsky.social 
Emily Shuckburgh @eshuck.bsky.social Director, Cambridge Zero
@damewendydbe.bsky.social @damewendydbe.bsky.social 
Betty Sanchez @bcsanchez56.bsky.social 
CERN @cern.bsky.social CERN is the European laboratory for particle physics, home to the Large Hadron Collider.
linktr.ee/CERN_official
Tareq @teraqerat.bsky.social Research on Protests & Authoritarianism in Asia | Center for Conflict Studies Marburg | Coordinator BMBF project @postcolh.bsky.social | Principal Investigator DFG project @afpro.bsky.social
More:
tasyd.com
teraqerat.substack.com
Shail Dave @shaildave.bsky.social @Qualcomm. Computer architect, making AI systems and eXtended Reality systems like smart glasses more efficient that continue empowering daily lives. Outstanding PhD from SCAI ASU, Silver Medal Awardee from ACM Student Research Competition. Avid learner
Anna Dornhaus @dornhaus.bsky.social scientist, science communicator, mom, prof, desert dweller - not always in this order
Thusha Rajendran @thusha.bsky.social Professor of Developmental Psychology. The views here are my own.
UKspace @ukspace.bsky.social UKspace is the official trade association of the UK space industry, representing our members' interests and supporting them in developing their businesses, and promoting space to government and other key stakeholders. https://ukspace.org
David Robb @davidrobb.bsky.social Proud Scot, husband and girl-Dad. Chair Aberlour CCT https://www.aberlour.org.uk/ Retired civil servant. Occasional cyclist. Born at 319.65 ppm. Twitter/X emigree @DavidRobb22
@anamacintosh.bsky.social @anamacintosh.bsky.social 
Lloyd's Register Foundation @lr-foundation.bsky.social Lloyd's Register Foundation is an independent global charity that aims to protect life and property. We are engineering a safer world, because life matters.
Arie van Deursen @avandeursen.bsky.social Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen 
Dorothea Baur - the ethics crusader @dorotheabaur.bsky.social Straight Talk and Strategic Clarity on AI Ethics & Sustainability | Speaker · Consultant · Writer - dorotheabaur.ch
Ideal for people who appreciate both humor and ethical dilemmas, and can handle an occasional existential crisis.
@kula789.bsky.social @kula789.bsky.social 
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
Research Ireland @researchireland.ie Ireland’s new competitive research and innovation funding agency- L @lerocentre.bsky.social @lerocentre.bsky.social
@ingmarposner.bsky.social @ingmarposner.bsky.social 
Women's Engineering Society @wes1919.bsky.social Inspiring women to achieve their potential as engineers, scientists, and leaders and assisting educators, managers, and employers in making this happen.
Jacob Smith @jacobfhsmith.bsky.social Poli Sci Asst. Prof. Congress-watcher. Elections junkie. Fan of coffee, running. Swiftie. Breads Bakery and Zabar's enthusiast. Ossoff '28. he/him. NYC. 🏳️🌈
rs≠ e, personal account, views my own.
techUK @techuk.bsky.social The UK's tech trade association championing tech's role in preparing and empowering the UK for what comes next.
https://www.techuk.org/
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
@ijuma.bsky.social @ijuma.bsky.social 
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Sven Nyholm @svennyholm.bsky.social Professor of the Ethics of Artificial Intelligence, LMU Munich.
Abhishek Kulkarni @abhishekizer.bsky.social 
Jiayi Wang @jiayi-wang.bsky.social 
Mark Coeckelbergh @coeckelbergh.bsky.social Philosopher of technology | Professor at Philosophy Department University of Vienna | Author of AI Ethics, Why AI Undermines Democracy, and Artificial Religion | member UN Independent International Scientific Panel on AI | https://coeckelbergh.net
Dr Elif Biber @elifbiber.bsky.social Law and Technology Scholar🌻🇪🇺 at the University of Luxembourg & Academic Visitor at the Oxford institute for Ethics in AI #AILaw #HumanRights #EULaw #RuleofLaw PhD in Law (summa cum laude) @ScuolaSantAnna Head of Digital Rights @The_Digi_Con
David Saldaña @davidsaldana.bsky.social Researching and teaching at Universidad de Sevilla about autism, language, and accessibility.
Investigador y docente en la Universidad de Sevilla sobre autismo, lenguaje y accesibilidad. Director de la Cátedra de Autismo.
Laura Gales @lauragales.dev App developer in progress 💙 #Flutter & #Dart
Community Manager 📣 | Open to opportunities
❤️ #Rats 🐀 | #Bouldering | #Electronics | Fantasy & sci-fi
🌍 Reading, UK | she/her
@humanoidiota.bsky.social @humanoidiota.bsky.social 
@mdouskos.bsky.social @mdouskos.bsky.social 
Behzad Samadi @mechatronics3d.substack.com Behzad Samadi is a systems scientist and engineer with over 25 years of experience in robotics, artificial intelligence, and control systems.
Hany Hamed @hany606.bsky.social Working on Reinforcement Learning and robotics.
M.S. CS KAIST 2022
Jonathan Aitken @drjonaitken.bsky.social Senior University Teacher, Robotics, Autonomous Systems, Drones, Swarms, Jazz, Crossfit, Golf, Manchester City & Standup. Herein, my own views.
Loy @loybeek.bsky.social l0y.nl | Dad | Robotics at aigro.nl | RoboCup@Home @TechUnited | scout at scoutingboxtel.nl | Interested layman in anything. Mastodon:
@loy@fosstodon.org.
fmrico @fmrico.bsky.social Doctor engineer in Robotics, robot hacker, and Full Professor at Rey Juan Carlos University. Leader of @IntellRobotLabs | ex-ROS 2 TSC
Ingo Lütkebohle @iluetkeb.bsky.social Robotics software engineering lead in an advance engineering department at a large multinational. Before that, 10 years in academia (5 of that PhD). All opinions are my own.
Hugo Sardinha @hugo-sardinha.bsky.social 
@minlingc.bsky.social @minlingc.bsky.social