Update resume content.
This commit is contained in:
parent
3985cb5f93
commit
22a72ccfea
24
resume.html
24
resume.html
|
@ -30,14 +30,14 @@
|
|||
<h1>Education</h1>
|
||||
<div class="section-content">
|
||||
<em class="italic">Bachelor of Science</em>, Oregon State University, Major: Computer Science | Minor: Mathematics - Completed June 2020 • <em class="bold">4.0 GPA</em><br>
|
||||
<em class="italic">Master of Science</em>, Oregon State University, Computer Science - Expected June 2022
|
||||
<em class="italic">Master of Science</em>, Oregon State University, Computer Science - Expected June 2022 • <em class="bold">4.0 GPA</em>
|
||||
</div>
|
||||
</section>
|
||||
<section>
|
||||
<h1>Skills</h1>
|
||||
|
||||
<div class="section-content">
|
||||
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Haxe<br>
|
||||
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Nix, Haxe<br>
|
||||
<em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
|
||||
<em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
|
||||
</div>
|
||||
|
@ -45,19 +45,28 @@
|
|||
<section>
|
||||
<h1>Projects</h1>
|
||||
<div class="section-content">
|
||||
<!--
|
||||
<div class="project-container">
|
||||
<a class="project-link" href="https://github.com/DanilaFe/abcs">
|
||||
<h2>abcs</h2>
|
||||
<i data-feather="link" class="project-link-icon"></i>
|
||||
</a> —
|
||||
Calculator program with a complete embedded programming language.
|
||||
</div>
|
||||
</div> -->
|
||||
<!--
|
||||
<div class="project-container">
|
||||
<a class="project-link" href="https://github.com/DanilaFe/AdventOfCode-2020">
|
||||
<h2>aoc</h2>
|
||||
<i data-feather="link" class="project-link-icon"></i>
|
||||
</a> —
|
||||
Solutions for Advent of Code 2020 problems, with select puzzles formalized using Coq.
|
||||
</div> -->
|
||||
<div class="project-container">
|
||||
<a class="project-link" href="https://dev.danilafe.com/Web-Projects/blog-static/src/branch/master/code/compiler">
|
||||
<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 <a href="https://danilafe.com/blog/00_compiler_intro/">my blog</a>.
|
||||
Compiler for a purely functional, lazily evaluated language explained in-depth on <a href="https://danilafe.com/blog/00_compiler_intro/">personal blog</a>.
|
||||
</div>
|
||||
<div class="project-container">
|
||||
<a class="project-link" href="https://github.com/DanilaFe/chalk">
|
||||
|
@ -98,10 +107,10 @@
|
|||
<h2>Research Assistant, Programming Language Theory</h2>
|
||||
<div class="position-location">Oregon State University, Corvallis, OR | Spring 2018 - Present</div>
|
||||
<ul>
|
||||
<li>Formalized denotational and operational semantics of new <em class="bold">explanation-oriented programming languages.</em></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 verify, generate, and debug the explanation language.</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 paper</em> published to the International Conference on Generative Programming.</li>
|
||||
<li>Formalized operational semantics of new <em class="bold">explanation-oriented programming languages.</em></li>
|
||||
</ul>
|
||||
</div>
|
||||
|
||||
|
@ -127,7 +136,8 @@
|
|||
<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">13-part series</em> on compiler development, walking readers through lexing, parsing, compilation using LLVM,
|
||||
<li>Formalized and described solutions to select Advent of Code problems using <em class="bold">Coq</em>.</li>
|
||||
<li>Created <em class="bold">14-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