Ph.D. Student @ Utah PLT advised by @bennn
- Salt Lake City
-
07:00
(UTC -06:00) - https://hanwen.io
- https://orcid.org/0009-0000-7118-2145
Mark Olson
mholson
Mathematics & Programming Educator | Emacs(doom), Python, Swift & LaTeX | YouTube Creator 🇸🇪 🇨🇦
Stockholm, Sweden
ᡥᠠᡳᡤᡳᠶᠠ ᡥᠠᠯᠠ·ᠨᡝᡴᠣ 猫
OverflowCat
Optoelectronics BSc / Frontend Developer / Web Archivist
Beihang University
Ashton Wiersdorf
ashton314
PhD student at the University of Utah. Metaprogramming sorcerer. Emacs addict. Contrabass and chocolate lover.
PLT @ University of Utah Utah, USA
Dominic Kennedy
dominicmkennedy
PhD student at the University of Utah studying under @bennn
University of Utah Salt Lake City
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Victor Huang
qwqVictor
Kubernetes Infra & DevOps
JD.com | former @RedrockTeam @CQUPTMirror Beijing, China