diff --git a/resume.html b/resume.html index 895091e..da475e7 100644 --- a/resume.html +++ b/resume.html @@ -159,7 +159,7 @@
  • Developed tooling in Haskell to interpret, verify, generate, and debug programming languages.
  • Contributed to research papers published to the GPCE and VL/HCC.
  • Proctored quizzes and exams for over 200 students.
  • - +
  • Aided students in implementing a final project in the form of a custom programming language.
  • Suggested and organized independent review sessions attended by over 70 students, with 50% attendance growth between sessions.
  • @@ -173,7 +173,7 @@
  • Leveraged advanced type system features to precisely specify nontrivial program properties.
  • Developed a mocking system to help specify and test corner cases in a distributed communication system.
  • Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.
  • - +
  • Engaged in open-source development, interacting with community to respond to bug reports and feature requests.