Update the resume.
This commit is contained in:
parent
56b21b3427
commit
495abb8d03
|
@ -57,7 +57,7 @@
|
|||
<h2>bloglang</h2>
|
||||
<i data-feather="link" class="project-link-icon"></i>
|
||||
</a> —
|
||||
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 <a href="https://danilafe.com/blog/00_compiler_intro/">my blog</a>.
|
||||
</div>
|
||||
<div class="project-container">
|
||||
<a class="project-link" href="https://github.com/DanilaFe/chalk">
|
||||
|
@ -101,7 +101,7 @@
|
|||
<li>Devised and implemented language to explain behavior of spreadsheets to new users.</li>
|
||||
<li>Developed tooling in <em class="bold">Haskell</em> to verify, generate, and debug the explanation language.</li>
|
||||
<li>Contributed to <em class="bold">research paper</em> published to the International Conference on Generative Programming.</li>
|
||||
<li>Formalized operational semantics of new <em class="bold">explanation-oriented programming language.</em></li>
|
||||
<li>Formalized operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
|
||||
</ul>
|
||||
</div>
|
||||
|
||||
|
@ -112,7 +112,7 @@
|
|||
<li>Engaged in weekly question-and-answer sessions regarding course topics.</li>
|
||||
<li>Aided students in implementing a final project in the form of a <em class="bold">custom programming language</em>.</li>
|
||||
<li>Proctored <em class="bold">quizzes and exams</em> for over 200 students.</li>
|
||||
<li>Hosted <em class="bold">independent review sessions</em> attended by over 70 students.</li>
|
||||
<li>Organized <em class="bold">independent review sessions</em> attended by over 70 students.</li>
|
||||
</ul>
|
||||
</div>
|
||||
</div>
|
||||
|
@ -127,7 +127,7 @@
|
|||
<ul>
|
||||
<li>Designed and published website currently live at <a href="https://danilafe.com">danilafe.com</a>.</li>
|
||||
<li>Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.</li>
|
||||
<li>Created <em class="bold">11-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
|
||||
<li>Created <em class="bold">13-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
|
||||
garbage collection, and polymorphic type checking.</li>
|
||||
</ul>
|
||||
</div>
|
||||
|
|
Loading…
Reference in New Issue
Block a user