diff --git a/css/style.css b/css/style.css index 8e81f08..e7aa18f 100644 --- a/css/style.css +++ b/css/style.css @@ -11,11 +11,11 @@ body { padding: 0px; font-family: "Raleway"; line-height: 1.3em; - font-size: 14px; } + font-size: 12px; } @media not print { body { - max-width: 215.9mm; - max-height: 279.4mm; + width: 215.9mm; + height: 279.4mm; overflow: hidden; margin-top: 10px; padding-top: 5px; @@ -38,12 +38,18 @@ h1 { font-family: "Raleway", serif; font-weight: normal; margin: 10px; + margin-bottom: 2.5px; color: #1dc868; } h2 { - font-size: 1.1em; + font-size: 1.2em; font-weight: normal; - margin-bottom: 0px; } + margin-bottom: 0px; + margin-top: 0px; } + +ul { + margin-top: 5px; + margin-bottom: 5px; } div.contact { background-color: #36e281; @@ -69,7 +75,8 @@ div.horizontal-list { flex-grow: 1; } div.project-container { - flex-basis: 25%; } + flex-basis: 25%; + margin-right: 10px; } div.project-container h2 { display: inline; margin: 0px; } @@ -90,6 +97,9 @@ main { div.section-content { margin-left: 20px; } +div.position { + margin-bottom: 10px; } + div.position-location { color: #4d4c4c; } diff --git a/resume.html b/resume.html index e2e5905..05a0bb9 100644 --- a/resume.html +++ b/resume.html @@ -10,7 +10,7 @@
-
5636 SW Avena Pl, Corvallis, OR, 97333
+
Corvallis, OR
@@ -25,7 +25,7 @@
-
+

Education

Oregon State University, Corvallis, OR
@@ -49,25 +49,25 @@

Projects

- -

pegasus

+ +

abcs

 - LALR parser generator for the C and Crystal languages. + Calculator program with a complete embedded programming language.

chalk

 - Compiler from a small language into CHIP-8 bytecode. + Compiler from a small imperative language into CHIP-8 bytecode.
- -

abcs

+ +

pegasus

 - Calculator program with a complete embedded programming language. + LALR parser generator currently supporting the C and Crystal languages.
@@ -78,6 +78,13 @@
+
+

Publications

+ +
+ Co-Author: Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc: Explaining spreadsheets with spreadsheets (short paper). GPCE 2018: 161-167 +
+

Technical Experience

@@ -89,6 +96,30 @@
  • 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.
    • + +
    + +
    +

    Blog Author

    +
    Independent | Spring 2015 - Present
    +
      +
    • Designed and published website currently live at danilafe.com.
      • +
    • Authored blog posts on topics spanning data structures, web development, programming languages, and compilers.
      • +
    • Created 11-part series on compiler development, walking readers through lexing, parsing, compilation using LLVM, + garbage collection, and polymorphic type checking.
      • +
    +
    + +
    +

    Undergraduate Teaching Assistant

    +
    Oregon State University | Winter 2020 - Spring 2020
    +
      +
    • Helped run Oregon State University's Programming Language Theory course.
      • +
    • 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.
    @@ -97,7 +128,7 @@
    Northwest Advanced Programming Workshop | Summer 2017
    • Designed and implemented a desktop calculator application with a focus on usability and feature-completeness.
      • -
    • Worked on a variety of components, including parsing input through a custom regular expression engine, evaluating expressions through Taylor Series, and UI design
      • +
    • Worked on a variety of components, including parsing input through a custom regular expression engine, evaluating expressions through Taylor Series, and UI design.
    • Profiled and debugged application in order to find inefficiencies, reducing computation time by 60%.
    • Led a small team using the git version control system.
    • Exercised public speaking and communication skills by reporting progress to supervisor and presenting to other teams.
      • @@ -105,32 +136,26 @@
    -

    Participant

    +

    Game Developer

    Oregon Game Project Challenge | Spring 2016 and 2017
    -
    - -
    -

    Finalist

    -
    Google Code In, Online Competition | Winter 2016
    -
    -

    Publications

    - +

    Honors and Awards

    - Co-Author: Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, Alex Grejuc: Explaining spreadsheets with spreadsheets (short paper). GPCE 2018: 161-167 +
    diff --git a/scss/style.scss b/scss/style.scss index 5df5a0e..86175c7 100644 --- a/scss/style.scss +++ b/scss/style.scss @@ -21,11 +21,11 @@ body { padding: 0px; font-family: $text-font; line-height: 1.3em; - font-size: 14px; + font-size: 12px; @media not print { - max-width: 215.9mm; - max-height: 279.4mm; + width: 215.9mm; + height: 279.4mm; overflow: hidden; margin-top: 10px; padding-top: 5px; @@ -52,13 +52,20 @@ h1 { font-family: $big-font, serif; font-weight: normal; margin: 10px; + margin-bottom: 2.5px; color: $color-secondary; } h2 { - font-size: 1.1em; + font-size: 1.2em; font-weight: normal; margin-bottom: 0px; + margin-top: 0px; +} + +ul { + margin-top: 5px; + margin-bottom: 5px; } div.contact { @@ -92,6 +99,7 @@ div.horizontal-list { div.project-container { flex-basis: 25%; + margin-right: 10px; h2 { display: inline; @@ -119,6 +127,10 @@ div.section-content { margin-left: 20px; } +div.position { + margin-bottom: 10px; +} + div.position-location { color: lighten($color-text, 30%); }