David Darais
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@galoisinc.bsky.social
galois.com For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
@reifyreflect.bsky.social
@mattthieulemerre.bsky.social
Researcher at CEA LIST, working on abstract interpretation of systems language
@jonhoo.eu
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
@differentialprivacy.org
🤖 new arXiv preprints mentioning "differential privacy" or "differentially private" in the title/abstract/metadata + updates from https://differentialprivacy.org [Under construction.]
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@xkcd.com
@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
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@pcn0112.bsky.social
Likely just stalking people for doomscrolling content, and posting 😺s
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@jqchen.bsky.social
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@jnpn.bsky.social
Lisp / FP / Logic programming / APL Applied Math / Comp bio wannabee looking for projects in MDD/MDA, RO, DX, cs.PLT
@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.
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@xl772.bsky.social
Math, cryptography, justice. No alt text = no engagement. Cis het white woman, québécoise, Canadian American, tired. Profile pic: raised fist; banner pic: masked white woman giving a talk entitled “Introduction to cryptography”
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@gabritto.bsky.social
software engineer @typescritlang.org, master's student @ University of British Columbia.
@dcreager.net
Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro. This is a 9 planet family, kids! ♇ 🌐 https://dcreager.net/ 🧭 Massachusetts
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@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.
@kisonecat.com
associate professor in mathematics at The Ohio State University he/him https://youtube.com/kisonecat
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@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
@wiredaemon.bsky.social
Formal Methods, Programming languages, Specifications. discord: wiredaemon she / her 🏳️⚧️
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM
@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
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.