Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Junior Einsteins Science Club® @junioreinsteins.bsky.social Award-winning Science events for kids. Founded Ireland☘️ Scientist, Mum, speaker United Nations 🇺🇳 Fun, messy, screen-free hands-on, STEM fun Ireland 🇮🇪 UK 🇬🇧 Canada 🇨🇦 Saudi Arabia 🇸🇦 Luxembourg 🇱🇺 Ukraine 🇺🇦 International Schools partnerships. Franchise.
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr- P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
BabySwiss @284-220.bsky.social Loves to swim
A. Jesse Jiryu Davis @emptysqua.re Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
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
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Josef Widder @josef-widder.bsky.social Computer Science. Socialism. Vienna AT. Previously Paris FR, and College Station TX.
Thomas Pani @thpani.bsky.social Protocol Security Researcher :: https://blltprf.xyz | prev: @informalinc, @tuwien.at
fuzzing, formal verification, bespoke security engineering
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
Zaches Zinnober @zaches.bsky.social RT, Fav, Follow ≠ endorsement
@zaches@fosstodon.org
@ZachesZinn0ber