From 495abb8d038684dc9d6625de35fa3157844e7c66 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 25 Sep 2020 22:48:04 -0700 Subject: [PATCH] Update the resume. --- resume.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/resume.html b/resume.html index d2651d9..b8de5b5 100644 --- a/resume.html +++ b/resume.html @@ -57,7 +57,7 @@

bloglang

— - Compiler for a purely functional, lazily evaluated language explained in-depth on my blog. + Compiler for a purely functional, lazily evaluated language explained in-depth on my blog.
@@ -101,7 +101,7 @@
  • Devised and implemented language to explain behavior of spreadsheets to new users.
  • Developed tooling in Haskell to verify, generate, and debug the explanation language.
  • Contributed to research paper published to the International Conference on Generative Programming.
  • -
  • Formalized operational semantics of new explanation-oriented programming language.
  • +
  • Formalized operational semantics of new explanation-oriented programming languages.
  • @@ -112,7 +112,7 @@
  • Engaged in weekly question-and-answer sessions regarding course topics.
  • Aided students in implementing a final project in the form of a custom programming language.
  • Proctored quizzes and exams for over 200 students.
  • -
  • Hosted independent review sessions attended by over 70 students.
  • +
  • Organized independent review sessions attended by over 70 students.
  • @@ -127,7 +127,7 @@