From e7d7542ad87a55586c9a99d9cd7c00ba04067d68 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 30 Dec 2024 16:07:44 -0800
Subject: [PATCH] Only bold technologies etc

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 resume.html | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/resume.html b/resume.html
index da475e7..fba55c7 100644
--- a/resume.html
+++ b/resume.html
@@ -143,10 +143,10 @@
                             <li>Added support for compile-time reflection, various language features, and full scope resolution to compiler written in <em class="bold">C++</em>.</li>
                             <li>Led development of <em class="bold">Python</em> bindings for compiler, accelerating development of a linter and a language server by over 10x.</li>
                             <li>Leveraged profiling information to improve performance of scope resolution compiler pass by 30%.</li>
-                            <li>Designed <em class="bold">a type-safe error reporting API</em>, improving developer experience and enabling 100+ custom error messages.</li>
+                            <li>Designed a type-safe error reporting API, improving developer experience and enabling 100+ custom error messages.</li>
                             <li>Supported community growth by designing, launching, and authoring articles for the <a href="https://chapel-lang.org/blog/posts/welcome">Chapel language technical blog.</a></li>
                             <li>Laid groundwork for compatibility with leading-edge supercomputers by implementing initial <em class="bold">AMD GPU
-                                programming support</em> using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
+                                </em> programming support using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
                         </ul>
                     </div>
 
@@ -154,13 +154,13 @@
                         <h2>Research and Teaching Assistant, Programming Language Theory</h2>
                         <div class="position-location">Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022</div>
                         <ul>
-                            <li>Formalized denotational and operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
+                            <li>Formalized denotational and operational semantics of new explanation-oriented programming languages.</li>
                             <!-- <li>Devised and implemented language to explain behavior of spreadsheets to new users.</li> -->
                             <li>Developed tooling in <em class="bold">Haskell</em> to interpret, verify, generate, and debug programming languages.</li>
-                            <li>Contributed to <em class="bold">research papers</em> published to the GPCE and VL/HCC.</li>
-                            <li>Proctored <em class="bold">quizzes and exams</em> for over 200 students.</li>
-                            <li>Aided students in implementing a final project in the form of a <em class="bold">custom programming language</em>.</li>
-                            <li>Suggested and organized <em class="bold">independent review sessions</em> attended by over 70 students, with
+                            <li>Contributed to research papers published to the GPCE and VL/HCC.</li>
+                            <li>Proctored quizzes and exams for over 200 students.</li>
+                            <li>Aided students in implementing a final project in the form of a custom programming language.</li>
+                            <li>Suggested and organized independent review sessions attended by over 70 students, with
                                 50% attendance growth between sessions.</li>
                         </ul>
                     </div>
@@ -171,7 +171,7 @@
                         <ul>
                             <li>Spearheaded migration of codebase to <em class="bold">TypeScript</em>, improving documentation and discovering hidden bugs.</li>
                             <li>Leveraged advanced type system features to precisely specify nontrivial program properties.</li>
-                            <li>Developed a mocking system to help specify and test corner cases in a <em class="bold">distributed communication system</em>.</li>
+                            <li>Developed a mocking system to help specify and test corner cases in a distributed communication system.</li>
                             <li>Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.</li>
                             <li>Engaged in <em class="bold">open-source development</em>, interacting with community to respond to bug reports and feature requests.</li>
                         </ul>