Christina O'Donnell
cdo256
Computer science PhD candidate at the University of Nottingham.
Cambridge, England
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Andrea Laretto
iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
Tallinn University of Technology Tallinn, Estonia
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Matthew McQuaid
mmcqd
I like type theory and functional programming languages
@semgrep San Francisco
Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
Silvan Mosberger
infinisil
Studied Computer Science at ETHZ. Fluent in Nix and Haskell.
Profile picture art by https://artistree.io/pheonyx!
Tweag Switzerland
Jonathan Chan
ionathanch
Grad student in PL & former splabmate · MSc @ UBC ⇝ PhD @ UPenn
PLClub @ UPenn Vancouver, Canada
Anirudh Oppiliappan
icyphox
building tangled.sh — git collaboration platform built on atproto
Helsinki
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
PreviousNext