[Image: Sea programmer]
I am proud to be certified by kurzgesagt.org to be an Inhabitant of the Universe! Get your certification by supporting them spreading science.
[Image: certification as inhabitant of the universe]
Mathematics, just like any other science, is a cultural activity. Any cultural activity is natural.
I'm Remy and I will join [UW] PLSE this fall. I'm generally interested in programming languages, especially the formal side of it. This summer I'm verifying differential private algorithms with a proof assistant named EasyCrypt. I will be in Aarhus Denmark - come say hi if you are near! Besides PL, I also enjoy reading and thinking about physics, maths, and philosophy & history of science.
Last month I graduated from Tufts, where I worked on dynamic strictness analysis / optimization for Haskell. And before Tufts I grew up in Beijing.
I love to spend time outside - biking, running, hiking and climbing. When I'm indoors, I listen to rock and folk music from around the world, and try to teach myself jazz guitar. I've also made it half way making a mountain dulcimer, which is like a half guitar... My favorite writers are Franz Kafka and Raymond Carver.
Updated 5 17 2017
Emacs & Org: