DanilaFe/resume
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Expand bullet points to make use of new space

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2024-12-30 13:47:54 -08:00
parent b957438848
commit 9e9aab2d8f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
resume.html
View File

@ -159,7 +159,7 @@
<li>Developed tooling in <em class="bold">Haskell</em> to interpret, verify, generate, and debug programming languages.</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>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>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>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>Suggested and organized <em class="bold">independent review sessions</em> attended by over 70 students, with
50% attendance growth between sessions.</li> 50% attendance growth between sessions.</li>
</ul> </ul>
@ -173,7 +173,7 @@
<li>Leveraged advanced type system features to precisely specify nontrivial program properties.</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 <em class="bold">distributed communication system</em>.</li>
<li>Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.</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> --> <li>Engaged in <em class="bold">open-source development</em>, interacting with community to respond to bug reports and feature requests.</li>
</ul> </ul>
</div> </div>