@nodejs.org
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@antocuni.bsky.social
SPy creator, HPy founder, PyPy core dev, PyScript core dev, doing Python, compilers and WASM stuff at @anacondainc.bsky.social Also on: - github.com/antocuni - https://mastodon.social/@antocuni - https://twitter.com/antocuni
@elisagboix.bsky.social
Researcher, professor of Computer Science at Vrije Universiteit Brussel, Belgium
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@informatics-europe.bsky.social
Official Bluesky Account of Informatics Europe 🔊 We are the European Voice of Informatics Research and Education, representing the academic and research community in Informatics in Europe. 🌍 🔗https://www.informatics-europe.org
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@fm-volker.mastodon.social.ap.brid.gy
Unprofessional takes on CompSci and other things. Sub-tooter at https://fediscience.org/@selabhvl. https://λ.foldr.org/~vs/ forthcoming. Relapses into […] [bridged from https://mastodon.social/@fm_volker on the fediverse by https://fed.brid.gy/ ]
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@zxgio.bsky.social
Security enthusiast, CTF player, co-founder of ZenHack Team; he/him
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app