Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Using tootfinder.ch

the ACM Special Interest Group on Programming Languages

Hi! :) I'm here to nerd out and smartass into the void • I tend to only approve follow requests from people I've previously interacted with, so feel free to send me a message!

Assistant professor at the University at Buffalo, SUNY. Types, security, and categories.

PL postdoc. Currently a Newton International Fellow at the University of Edinburgh. Soon to be Assistant Prof. at University of Regina, starting July 2024. Formerly PhD at UBC with Ron Garcia

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

st. andrews <- uchicago | she/her | world’s biggest hater™ | this account is by no means professional so beware

CS Professor, programming languages and formal methods, UIUC! Sigplan-M Founder. CCF President. They/them, ND, bi ❤️

Asst. Prof at Syracuse. Less 💩posting than my Twitter I promise! kmicinski.com

Low-level lesbian hardware hacker(s) and engineers(s). Building things for those we love~

Just a bit obsessed with RWBY~

Software developer, transportation nerd, climate activist (unordered) (he/him)

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

Find me over at @ahfrom

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Now moved to @jer_gib

fourth year undergraduate at ubc studying language, in its various forms (math/ling/cpsc)

ctf occasionally with @maplebaconctf

i might not see your replies if you're on a large instance. sorry!

:nim: :rust: :racket: :java: :python: :blobcatlambdas: en tok la

Paren-wielding facebook-theorist. Sith Lord of Compilers. Beloved fucking menace. Silky smooth, level headed, and powerful.