Long overdue update, after finishing off at YU and starting at UW
Add commented-out Achievements section
For historical reasons. Imported from an older version of my CV.
Add TA work experience for fall 2017
Update research interests and conference presentations
- Move Research Interests after Education
- Add Conference Talk section
Use Equity and Triplicate instead of EB Garamond and Ubuntu Mono.
Also, display name and page number in footer instead of header.
Add Liquid Haskell to Tools
What I'm doing this summer
Mention my work on Literate Unit-B's type checker
(separating the type checker from the parser)