diff --git a/resume.html b/resume.html
index f418b5c..da59d3d 100644
--- a/resume.html
+++ b/resume.html
@@ -134,20 +134,22 @@
Investigated and implemented initial AMD GPU programming support using Clang and ROCm tooling, setting
the foundation for compatibility with leading-edge supercomputers.
Empowered compiler developers to provide helpful and informative error messages by designing and implementing
- a type-safe error reporting API.
+ a type-safe error reporting API.
Designed, launched, and authored articles for the Chapel language technical blog
providing a place for long-form content about the language and helping community growth.
-
Research Assistant, Programming Language Theory
+
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.
@@ -163,16 +165,16 @@
+