Jad Ghalayini
imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of Cambridge Cambridge, United Kingdom
Zachary Snow
zachjs
Software engineer in systematic trading. Carnegie Mellon SCS 2019.
@deshaw New York, NY
Ben Gamari
bgamari
I enjoy compilers, hiking, and bicycling
Well Typed LLP Portsmouth, NH, United States
Justin Le
mstksg
jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD
@Anduril Orange, CA
Egor Kovetskiy
kovetskiy
Please email me directly if I miss your contribution in the endless stream of notifications.
@reconquest