Followers
@agilot.bsky.social@zerhoz.bsky.social @zerhoz.bsky.social
Brittany Reid @brittanyareid.bsky.social Assistant Professor in Software Engineering, Nara Institute of Science and Technology, Japan. From Adelaide, Australia. 🦘 https://brittany-reid.github.io/
@heyheiko.bsky.social @heyheiko.bsky.social
@nicolaassolini98.bsky.social @nicolaassolini98.bsky.social
@jennifer23-95.bsky.social @jennifer23-95.bsky.social Single man needed reply on my comment section now and like it
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
Nicolas Wagner @niwagner.bsky.social
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
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@yuxiaoli.bsky.social @yuxiaoli.bsky.social
@streamlight.bsky.social @streamlight.bsky.social
Catarina Gamboa @catarinavgamboa.bsky.social PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@pcanelas.bsky.social @pcanelas.bsky.social https://pcanelas.com
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Amanda @amanda.systems I’m usually on @amanda@social.spejset.org (Mastodon). PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.