diff --git a/resume.html b/resume.html index 425ca0f..1927b94 100644 --- a/resume.html +++ b/resume.html @@ -27,28 +27,62 @@
-

Education

-
-
- Master of Science, Oregon State University, Computer Science - Completed June 2022 • 4.0 GPA -
Thesis: Guided Translation of Algorithmic Notation into Functional Programs
-
-
- Bachelor of Science, Oregon State University, Major: Computer Science | Minor: Mathematics - Completed June 2020 • 4.0 GPA -
-
-
- +
  • 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.
    • + + + +
    +

    Front-End Intern, Hydrogen

    +
    Element.io | June 2021 - September 2021
    + +
    + + - -->

    Projects

    @@ -138,62 +172,28 @@
    -

    Work Experience

    - +

    Education

    -
    -

    Senior Programming Language Engineer, Chapel

    -
    Hewlett Packard Enterprise | Summer 2022 - Present
    -
      -
    • Implemented compile-time reflection, parallel iterators, and trait-like interfaces in Chapel's C++-based compiler.
      • -
    • Led development of Python bindings for compiler, accelerating development of a linter and a language server by over 10x.
      • -
    • Optimized scope resolution and type checking compiler passes, improving performance by 30% and 60% respectively.
      • -
    • Designed a type-safe error reporting API, improving developer experience and enabling 100+ custom error messages.
      • -
    • Supported community growth by designing, launching, and authoring articles for the Chapel language technical blog.
      • -
    • Laid groundwork for compatibility with leading-edge supercomputers by implementing initial AMD GPU - programming support using Clang and ROCm tooling.
      • -
    +
    + Master of Science, Oregon State University, Computer Science - Completed June 2022 • 4.0 GPA +
    Thesis: Guided Translation of Algorithmic Notation into Functional Programs
    - -
    -

    Research and Teaching Assistant, Programming Language Theory

    -
    Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022
    -
      -
    • Formalized denotational and operational semantics of new explanation-oriented programming languages.
      • - -
    • 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.
      • -
    +
    + Bachelor of Science, Oregon State University, Major: Computer Science | Minor: Mathematics - Completed June 2020 • 4.0 GPA
    - -
    -

    Front-End Intern, Hydrogen

    -
    Element.io | June 2021 - September 2021
    -
      -
    • Spearheaded migration of codebase to TypeScript, improving documentation and discovering hidden bugs.
      • -
    • 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.
      • -
    -
    - -
    +

    Additional Experience