Jason Hu
HuStmpHrrr
Applied scientist at AWS;
PhD from McGill University;
MMath from University of Waterloo;
https://gitlab.com/JasonHuZS
AWS Seattle, WA
Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge London, United Kingdom
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR