Mirco Giacobbe @mircogiacobbe.bsky.social Associate Professor @ UniBirmingham | Logician & Computer Scientist | Making AI Systems Safe, with Mathematical Certainty
Zicklag @zicklag.dev I strive to make great things that people can use and enjoy, all to the glory of God.
Links & Bio Page: https://zicklag.dev
GitHub: https://github.com/zicklag
Making @roomy.space
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
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- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Jepsen @jepsen.mastodon.jepsen.io.ap.brid.gy Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
Niklas @dergoegge.bsky.social fuzzing around and finding out @ https://brink.dev
Thomas Wuerthinger @thomaswue.dev Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
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.
Romain Ruetschi @romac.hachyderm.io.ap.brid.gy Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous […]
[bridged from https://hachyderm.io/@romac on the fediverse by https://fed.brid.gy/ ]
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
miguelraz_t @movraxrax.bsky.social Julia REPL stan | Rust Software Performance Engineering
https://miguelraz.github.io
www.linkedin.com/in/miguel-raz-guzmán-macedo-64895a127
Twitter Archive for Christian Geuer-Pollmann @chgeuer.bsky.social Just the archive. Live account at https://bsky.app/profile/christian.geuer-pollmann.de
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Heidi Howard @heidihoward.bsky.social 
David Wong @cryptodavidw.bsky.social https://cryptologie.net/ | founder of @zksecurity.bsky.social | research advisor ArchetypeVC | author of Real-World Cryptography | Previously architect for Mina (at O(1) Labs), security lead for Libra (at Facebook), cryptography services at NCC Group
Max-Planck-Gesellschaft @maxplanck.de Official account of the Max Planck Society. Devoted to basic #research in #physics #astronomy #chemistry #biology #earthsciences #materialscience #mathematics #socialsciences and the #humanities; Imprint: https://www.mpg.de/imprint
Joran Dirk Greef @joran.tigerbeetle.com Creator, Founder and CEO of @tigerbeetle.com — the financial transactions database designed for mission critical safety and performance.
TigerBeetle @tigerbeetle.com The financial transactions database designed to power the next 30 years of online transaction processing.
Josef Gattermayer @jgattermayer.bsky.social Co founder and CEO at Ackee Blockchain Security, assistant professor at CTU
Tomáš Bayer @tomasbayer.bsky.social Optimista. Fotografování, knihy, gaming, Netflix. Fanoušek New York Rangers.
🇨🇿🇪🇺🇺🇦
📍Ostrava
https://linktr.ee/tomasbayer
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Zaches Zinnober @zaches.bsky.social RT, Fav, Follow ≠ endorsement
@zaches@fosstodon.org
@ZachesZinn0ber
Thomas Pani @thpani.bsky.social Protocol Security Researcher :: https://blltprf.xyz | prev: @informalinc, @tuwien.at
fuzzing, formal verification, bespoke security engineering
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Josef Widder @josef-widder.bsky.social Computer Science. Socialism. Vienna AT. Previously Paris FR, and College Station TX.
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
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
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app