Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) @dagstuhl.de To computer scientists Dagstuhl has a special ring: a place to hide away for intensive seminars. The center facilitates research also by its bibliography database dblp and its open access publishing.
Visit https://www.dagstuhl.de to learn more.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
@berndfinkbeiner.bsky.social @berndfinkbeiner.bsky.social Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
norinecoenen.bsky.social @norinecoenen.bsky.social 
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Argot Collective @argot.org Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.
visit argot.org
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Technische Universität München @tum.de This is the official account of the Technical University of Munich – Technische Universität München (TUM).
Follow us on W Social: https://wsocial.eu/profile/tum.de
Website: http://tum.de/en
Legal notice: http://tum.de/legal-notice
Imperial College London @imperialcollegeldn.bsky.social The official account for Imperial College London
A global top-ten university, where scientific imagination leads to world-changing impact. Science | Engineering | Medicine | Business
#OurImperial 💙
https://www.imperial.ac.uk/
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
School of Computer Science, University of Sydney @sydneycompsci.bsky.social The official account of the School of Computer Science at the University of Sydney.
🔗 https://www.sydney.edu.au/engineering/schools/school-computer-science.html
Rahul Gopinath @rahul.gopinath.org Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing
https://rahul.gopinath.org
Christoph Hochrainer @chochrainer.bsky.social PhD researcher improving reliability in Web3. Testing zero-knowledge tools with custom fuzzers. Into smart contracts, compilers, and system reliability.
🌐 https://christoph-hochrainer.at/
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
FLoC 2026 @floc2026.bsky.social 
Nikolaj @nikolajbjorner.bsky.social 
Niklas Metzger @niklasmetzger.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
@hannelita.bsky.social @hannelita.bsky.social 
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@heyheiko.bsky.social @heyheiko.bsky.social 
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
International Conference on Software Engineering @icseconf.bsky.social The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Abhik Roychoudhury @abhikrc.bsky.social Professor of Computer Science at National University of Singapore
https://abhikrc.com
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
@rakamaric.bsky.social @rakamaric.bsky.social 
Arpan Gujarati @arpanbg.bsky.social Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
@ccadar.bsky.social @ccadar.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
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@rpiskac.bsky.social @rpiskac.bsky.social 
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Borzoo Bonakdarpour @borzoo.bsky.social Associate Professor of Computer Science at Michigan State University
Dan Grossman @dangrossmanseattle.bsky.social 
Manuel Rigger @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. 
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Caterina Urban @caterinaurban.bsky.social 
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Filip Niksic @fniksic.bsky.social Software Engineer @ Google
Previously @ UPenn, MPI-SWS
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Elena Glassman @elglassman.bsky.social Assistant Professor @ Harvard SEAS specializing in human-computer and human-AI interaction. Also interested in visualization, digital humanities, urban design.
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Kasra @kasraferdowsi.bsky.social Senior Software Engineer @ Cubist
Building robust and secure software in Rust
Talia Ringer @taliaringer.bsky.social 
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.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Heather Miller @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
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Joe Cutler @alphaconvert.bsky.social cutler.pl
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.