Sam Westrick
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
@dangrossmanseattle.bsky.social
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@janewestrick.bsky.social
Visual Artist www.janewestrick.com The Art Project, Drawing Rooms at Dvora Art House, Jersey City https://www.artsy.net/artist/jane-westrick
@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.
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
@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
@lainenooney.bsky.social
💾 associate prof of computers + video games @ MCC @ NYU 🕹️ managing ed of ROMchip: A Journal of Game Histories @romchip.bsky.social https://romchip.org 🍎 The Apple II Age: How the Computer Became Personal https://linktr.ee/lainenooney they/them
@klint.bsky.social
Assistant Professor of Applied Statistics at NYU ASH Psychometrician and sandwich lover Reluctant dog account
@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.
@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
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@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.
@cup-jfp.bsky.social
Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Published by Cambridge University Press. Posts by @liamoc.net
@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
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@alexlew.bsky.social
Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸 tijanaminic1.github.io
@vollmerm.bsky.social
Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@lenoreblum.bsky.social
Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
@simrob.com
boston, cats, computers? he/him profile pic by chrisamaphone The good stuff is at https://social.wub.site/@simrob
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@akhirsch.bsky.social
@eunsol.bsky.social
assistant professor in computer science / data science at NYU. studying natural language processing and machine learning.
@jqchen.bsky.social
@reifyreflect.bsky.social
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@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
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com