Followers
@heyheiko.bsky.socialDiego 🇧🇷 👱 @diegogarotooficial.bsky.social 👨🚀🚀🪐🌎 17 anos 👱🇧🇷🇮🇹 Paulista !! Morando no Rio de Janeiro ⛱️ Petista 🇧🇷🇧🇷🇧🇷🇧🇷🇧🇷 Democrata! Gosto de : 🏀....🏄♂️.....🚴♂️✨ 📢📵. "I don't Speak in Private!👊
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Marc Baaden @baam93.bsky.social Theoretical chemist | Transforming microscopic worlds into creative adventures | 🧪 Bridging science, art, and imagination | Exploring the fascinating narratives hidden in molecules
@ztatlock.bsky.social @ztatlock.bsky.social
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
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.
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
@os.mpi-sws.org @os.mpi-sws.org
Andrew K. Hirsch @akhirsch.bsky.social
Vaastav Anand @vaastav.bsky.social http://www.vaastavanand.com PhD student at Max Planck Institute for Software Systems
Aastha Mehta @aasthakm.bsky.social Assistant Professor, UBC CS, http://aasthakm.github.io | Past associations MPI-SWS, NetApp, BITS Pilani.
Oshrat Ayalon @oshrata.bsky.social
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social. Music enthusiast
Stratis Tsirtsis @stratiss.bsky.social Postdoc @ Hasso Plattner Institute working on machine learning. Previously @ Max Planck Institute, Meta, Stanford, NTUA. 💻 https://stsirtsis.github.io/
Filip Niksic @fniksic.bsky.social Software Engineer @ Google Previously @ UPenn, MPI-SWS
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