Followers
@yzfang.bsky.socialThe LA Balloonist @thelaballoonist.bsky.social Sculpting high-concept large-scale balloon architecture for weddings, fashion houses, brand activations, and private events across Greater Los Angeles and Southern California.
雪夜のともしび @snowy-lantern.bsky.social noteとYouTubeで証明支援システムRocqについて発信しています。 https://note.com/snowy_lantern https://www.youtube.com/@Snowy_Lantern
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
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
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
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler! PhD student @uwcse Opinions are my own!
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Catarina Gamboa @catarinavgamboa.bsky.social PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Abhinav Gyawali @abhizer.com PhD Student at UTCS https://abhizer.com
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@david-reactions.bsky.social @david-reactions.bsky.social Let’s support each other ❤️ Like my recent post please Stay active ❤️🥹 Follow me on TikTok ⬇️ https://www.tiktok.com/@david_wordsoftoday?_t=ZT-8rqLc1ckiF8&_r=1
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Kristopher Micinski @krismicinski.bsky.social kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.