From 5a7c549e2234e7d6e1ca97f660dd5cc3ee43ee03 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 6 Aug 2023 13:07:24 -0700 Subject: [PATCH] Merge research and teaching assitanships together Signed-off-by: Danila Fedorin --- resume.html | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) 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 @@ +