Ilya Sergey
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@icfpcontest.bsky.social
A Programming Contest associated with ICFP and organized yearly since 1998! https://icfpcontest2025.github.io/
@aptshadow.bsky.social
Author: Children of Time, Shadows of the Apt, Final Architecture, City of Last Chances and others. adriantchaikovsky.com
@radkat.fitzpat.com
Misc misc misc. SWE↔️SRE. Mom of three. Married to @bradfitz.com. Between chaotic good and chaotic neutral.
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@csateth.bsky.social
Official Bluesky page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @bobkonf@discuss.systems.
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@alexpolozov.com
Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
@jeffdean.bsky.social
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
@camlist.bsky.social
Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
@albertzhangtj.bsky.social
NUS CS Undergrad '25, Member of the NUS Trustworthy Engineering of Software Technologies Lab (https://nus-test.github.io/), Fuzzing, Software-Defined Networks Personal website: albertzhangtj.at
@shipilev.bsky.social
In love-hate relationship with machines. Currently: OpenJDK, AWS. "Trust me, it's really me" backlink: https://shipilev.net/#social
@rasmuspagh.net
Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
@csaudk.bsky.social
Official profile for Department of Computer Science at Aarhus University. We share IT research and official news from #csaudk in Danish and English.
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@debasishg.bsky.social
Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
@mu00d8.bsky.social
Postdoctoral researcher in the SEFCOM lab @ASU; prev @CISPA Helmholtz Center and @RUB; interested in Systems Security / Program Analysis / Fuzzing
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@huitseeker.bsky.social
Cryptography, decentralized networks, in close proximity to ☕🦀. Ex: {Protocol, Mysten, Dapper} Labs, Meta, …
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@academic-chatter.bsky.social
Join #AcademicChatter for support & community in higher education.
@sdumancic.bsky.social
Assistant Professor at TU Delft, working on program synthesis, probabilistic programming, and neuro-symbolic AI. https://sebdumancic.github.io/
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com