Baby Richman @babyrichmanband.bsky.social STREAM OUR DEBUT SINGLE "LIGHTS DOWN" ↙️
Spotify: https://open.spotify.com/artist/0Rflnb0WvYeuK5B6AHVSXE?si=F93EswKVR5ehFffDiFfCuw&utm_source=copy-link
Instagram: https://www.instagram.com/babyrichmanband?igsi=MWFldWJsOG1pdDl2bA%3D%3D&utm_source=qr
Ranked News @rankednews.bsky.social Ranked News is the most diverse, unbiased/uncensored free news platform. Articles ranked, summarized and translated in +200 languages. More in the iOS/Android app.
iOS app https://apps.apple.com/app/ranked-news/id6753876990
Website: https://Ranked.News- J JB @jbezivin.bsky.social "Let's cultivate our garden"
Voltaire
Lars WD @lwidr.bsky.social Stipendiat i fluidmekanikk, strømninger i fjorden og modellering av forurensing. Kronisk teknologiskeptisk
norinecoenen.bsky.social @norinecoenen.bsky.social 
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)
BabySwiss @284-220.bsky.social Loves to swim
UCSB Computer Science Department @ucsb-cs.bsky.social 
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
meier @meiermarie.bsky.social 
Loek Cleophas @loekhere.bsky.social /lʊk/ | Rekenaarwetenskapper | @tue_softeng | @StellenboschUni | Views mine | loek@me.com | @loekhere@mastodon.social
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr
Norman @noaasm.bsky.social 💼 Privacy Lawyer | 🎓 Corporate & Commercial Law LL.M alumni @ Maastricht University | 🎓 Public Int'l Law LL.M alumni @ University of Oslo | interested in tech, cybersecurity, data protection, international law & geopolitics | 📍🇪🇪 | views my own
SPLC 2025 @splcconf.bsky.social 29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025
📅 September 1-5, 2025
📍A Coruña, Spain 
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
Étienne André @etienneandre.bsky.social Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
www.etienne-andre.fr
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Kent Horne @kentonald.bsky.social Music is my sanctuary. Dj and host of Classic Album Sundays Oslo by night. Chasing Hidden Shadows @ radio.d59b.com once a Month.
Fumbling with architecture on a daily basis.
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
Louise A. Dennis @louiseadennis.bsky.social Computer Scientist, Doctor Who Fan.
Research Elements @reselements.bsky.social Web development, data management and visualizations. Consulting services for scientific and r&d communities. https://www.researchelements.org/
Sreeja S Nair @sreejas.bsky.social https://sreeja.github.io/
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
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
Fluttery Records @flutteryrecords.bsky.social Ambient, Post-rock, Modern Classical music. Record Label.
https://flutteryrecords.com
Steffen Zschaler @steffen-zschaler.de Reader in Software Engineering. MDE, Languages, SE & Theatre. Director of MDENet, the expert network on model-driven engineering. All views my own and not of @kcl.ac.uk.
SAP® Magazines S4-Experts @source4experts.bsky.social 🔶Community News, Products and Services
🔶35 Magazines & 6.000 Current Articles
🔶Market Strategy, PR & Marketing
🏢 Company Group: https://s4-experts.com
🗞️ SAP Magazine Suite:
https://s4-experts.com/sap-verkauf-ankurbeln-kundenakquise-produktverkauf-lead
SAP® Recruiting S4-Experts @s4-recruiting.bsky.social 🔶 E-Mail & Module Entry 🔜 Projects
🔶 Recruitment without Commissions
🔶 All Job & Project Provider in Hubs
🔶 Part of the Network Organization
Join our Database:
https://s4-experts.com/kandidateneintrag/
SAP® Store S4-Experts @s4-store.bsky.social 🔶Apps, Addons, Plugins & Systems
🔶SAP Business Models & Services
🔶SAP Franchising and Hardware
🔶Network Entity at S4-Experts
🛒SAP Store (DE): https://s4-experts.com/sap-publikationen/
🛒SAP Store (EN): https://s4expertsstore.blogspot.com
SAP® Marketing & Market Strategian S4-Experts @s4-marketing.bsky.social 🔶Market Strategy & Business Development
🔶Products, M&A, Services & Hardware
🔶Store, Magazines, Hubs, Newsletters
🔶Social Media & Advertising Space
🏢 Biz Dev SAP Company Group: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Outsourcing S4-Experts @s4-outsourcing.bsky.social 🔶SAP Offshore & Nearshore Services
🔶Seeking global & local Partnerships
🔶SAP Managed Service Provider
🔶Network Entity of S4-Experts
Network Organization with Partnerships and SAP Franchising.
https://s4-experts.com/sap-outsourcing-partnerschaften/
SAP® Academy S4-Experts @s4-akademie.bsky.social 🔶 Training 4 Free, Webinars & AI Bots
🔶 System Access, Demos and Videos
🔶 Books, White Papers and Tutorials
🔶 Part of the S4-Experts Network
SAP Academy inclusive Translator:
https://s4-experts.com/sap-akademie/
SAP® Consulting S4-Experts @s4-consulting.bsky.social 🔶 SAP Project & Strategy Consulting
🔶 SAP Techno-Functional Consulting
🔶 SAP System & Module AI Consultants
🔶 Academy, PM Guide & Staffing Flat Fee
🏢 Solutions & Companies: https://S4-Experts.com/Suite
🗞️ PM Magazine: https://SAP-Manager.blogspot.com
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
SAP® Strategy & Project Management S4-Experts @project-management.bsky.social 🔶 SAP Strategy and Project Management
🔶 AI Consultants per Module & System
🔶 SAP Project Guide and Accelerators
🔶 Academy & Staffing Flatrate
🏢 Solutions & Companies: https://s4-experts.com/suite/
🗞️ PM Magazine: https://sap-manager.blogspot.com
SAP® Marketingakademie S4-Experts @marketingakademie.bsky.social 🔶 Done4You, Shortcuts & Mistake Prevention
🔶 Hubs: Webinars, Videos & Tutorials
🔶 SAP Copywriter AI & Marketing AI
🔶 Software Suite and Templates
🏢 Biz Dev SAP Company Group: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Franchising & M&A Advisory S4-Experts @s4-advisory.bsky.social 🔶Planability when Founding a SAP Company
🔶SAP Franchising & Business Development
🔶SAP Company Purchase and Sale
🏢 Company Trade and Biz Dev: https://S4-Experts.com
🗞️ Biz Dev Journal: https://SAP-Marketing.blogspot.com
SAP® Management S4-Experts @s4experts.bsky.social 🔶Network Organization, AI Bots & Hubs
🔶Project & Scaling Strategy Consulting
🔶Recruiting, Academy and Magazines
🔶Store, Marketing & Solution Suites
🧡 Follow us to Learn about new Business Models, SAP Products & News: https://s4-experts.com
Davide Ancona @davideancona.bsky.social University of Genova, Italy
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Prof Sverre Holm @profsverreholm.bsky.social Professor em. in physics. University of Oslo: Power laws, fractional derivatives, ultrasound. Books in 2025: The imagined conflict (Wipf & Stock). Norway: Science with overtones
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
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
Christoph Laaber @christoph.laaber.net Software Engineer at Telenor Linx | PhD in Computer Science
https://laaber.net
Davide Smith Borrelli @smithborrelli.bsky.social I am curious about the world.
https://www.facebook.com/profile.php?id=61571475746682
https://www.instagram.com/smithdavide
https://dborrellidb.substack.com/
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
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
@gwensalaun.bsky.social @gwensalaun.bsky.social 
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Thomas Brox Røst @brox1974.bsky.social CTO at TRIKKS - E-learning for competence, not just compliance | Associate Professor at NTNU | PhD in clinical decision support systems
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Charles G PhD @charlesgphd.bsky.social #BlackandSTEM #BlackPhD #Morehouse #Commanders #skins, #graphtheory #math #mathsky #cs #compsci #compsky #programming
1 Corinthians 1:27a:
God chose what is foolish in the world to shame the wise;
I like to ask questions about things and call it research
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
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Hossain Muctadir @muctadir.bsky.social PhD@TU Eindhoven
muctadir.github.io
Pascal Poizat @pascalpoizat.bsky.social Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Judith Michael @judithmichael.bsky.social Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
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/
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Carlos Hernández Corbato 🟥 @chcorbato.bsky.social Associate professor at Cognitive Robotics | Mechanical Engineering | Delft University of Technology.
Opinions are my own.
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.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
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Sabri Pllana @sabripllana.bsky.social HPC & AI
https://sabripllana.eu/
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Tom Henzinger @thenzinger.bsky.social Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social 
Thomas Vogel @tomvog.bsky.social Software engineering and autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Ivona Brandic @ivonabrand.bsky.social Univ. Prof @ TU Wien; Computational Sustainability 🌱
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Jorge A. Pérez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Matt Luckcuck @mattluckcuck.bsky.social An At risk of redundancy' Computer Scientist | Nullius in verba
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.
Andrea Bombarda @bombardandrea.bsky.social Junior Assistant Professor (RTD-A) at the University of Bergamo working on Software Testing and Software Engineering for medical software and systems
Webpage: cs.unibg.it/bombarda/
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.