Followers
@mircogiacobbe.bsky.socialᴄʜᴀʀʟᴇʏ★ᴘɪʀᴏᴛʜ @charlespiroth.bsky.social Visual art, writing, and other things that bring meaning to the art of living
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis Founder of HΩ (https://horizonomega.org), based in Montréal