Compare commits
6 Commits
369d7879e6
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
| f22cb5b795 | |||
| 675c8f765c | |||
| f1a8dd4f53 | |||
| 2770fd03eb | |||
| 279f4da1f3 | |||
| d210f80b03 |
17
build.sh
17
build.sh
@@ -13,4 +13,19 @@ mkdir $out
|
||||
cp resume.html $out
|
||||
mkdir $out/css && cp ./css/style.css $out/css
|
||||
|
||||
chromium --disable-gpu --headless --print-to-pdf="$out/Resume-Danila-Fedorin.pdf" file://$(pwd)/resume.html
|
||||
# ChatGPT-provided solution to Chrome having trouble
|
||||
# setting up the network service due to a lack
|
||||
# of readable files.
|
||||
tmp="$(mktemp -d)"
|
||||
mkdir -p "$tmp"/{config,cache,profile}
|
||||
|
||||
HOME="$tmp" \
|
||||
XDG_CONFIG_HOME="$tmp/config" \
|
||||
XDG_CACHE_HOME="$tmp/cache" \
|
||||
chromium \
|
||||
--headless \
|
||||
--disable-gpu \
|
||||
--user-data-dir="$tmp/profile" \
|
||||
--disable-dev-shm-usage \
|
||||
--print-to-pdf="$out/Resume-Danila-Fedorin.pdf" \
|
||||
"file://$(pwd)/resume.html"
|
||||
|
||||
32
flake.lock
generated
32
flake.lock
generated
@@ -1,12 +1,15 @@
|
||||
{
|
||||
"nodes": {
|
||||
"flake-utils": {
|
||||
"inputs": {
|
||||
"systems": "systems"
|
||||
},
|
||||
"locked": {
|
||||
"lastModified": 1676283394,
|
||||
"narHash": "sha256-XX2f9c3iySLCw54rJ/CZs+ZK6IQy7GXNY4nSOyu2QG4=",
|
||||
"lastModified": 1731533236,
|
||||
"narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
|
||||
"owner": "numtide",
|
||||
"repo": "flake-utils",
|
||||
"rev": "3db36a8b464d0c4532ba1c7dda728f4576d6d073",
|
||||
"rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
@@ -17,16 +20,16 @@
|
||||
},
|
||||
"nixpkgs": {
|
||||
"locked": {
|
||||
"lastModified": 1676718858,
|
||||
"narHash": "sha256-giQecvcifVLNHCC9lMfTGP09tNxXhOMw+d/aql7MhRw=",
|
||||
"lastModified": 1766736597,
|
||||
"narHash": "sha256-BASnpCLodmgiVn0M1MU2Pqyoz0aHwar/0qLkp7CjvSQ=",
|
||||
"owner": "nixos",
|
||||
"repo": "nixpkgs",
|
||||
"rev": "e6d5772f3515b8518d50122471381feae7cbae36",
|
||||
"rev": "f560ccec6b1116b22e6ed15f4c510997d99d5852",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nixos",
|
||||
"ref": "nixos-22.11",
|
||||
"ref": "nixos-25.11",
|
||||
"repo": "nixpkgs",
|
||||
"type": "github"
|
||||
}
|
||||
@@ -36,6 +39,21 @@
|
||||
"flake-utils": "flake-utils",
|
||||
"nixpkgs": "nixpkgs"
|
||||
}
|
||||
},
|
||||
"systems": {
|
||||
"locked": {
|
||||
"lastModified": 1681028828,
|
||||
"narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
"owner": "nix-systems",
|
||||
"repo": "default",
|
||||
"type": "github"
|
||||
}
|
||||
}
|
||||
},
|
||||
"root": "root",
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
{
|
||||
inputs = {
|
||||
nixpkgs.url = "github:nixos/nixpkgs/nixos-22.11";
|
||||
nixpkgs.url = "github:nixos/nixpkgs/nixos-25.11";
|
||||
flake-utils.url = "github:numtide/flake-utils";
|
||||
};
|
||||
|
||||
|
||||
140
resume.html
140
resume.html
@@ -27,28 +27,62 @@
|
||||
|
||||
<main>
|
||||
<section>
|
||||
<h1>Education</h1>
|
||||
<div class="section-content">
|
||||
<div class="education-container">
|
||||
<em class="italic">Master of Science</em>, Oregon State University, Computer Science - Completed June 2022 • <em class="bold">4.0 GPA</em>
|
||||
<div class="education-subtext">Thesis: <em>Guided Translation of Algorithmic Notation into Functional Programs</em></div>
|
||||
</div>
|
||||
<div class="education-container">
|
||||
<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>
|
||||
</div>
|
||||
</div>
|
||||
</section>
|
||||
<!--
|
||||
<section>
|
||||
<h1>Skills</h1>
|
||||
<h1>Work Experience</h1>
|
||||
|
||||
<div class="section-content">
|
||||
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Coq, Idris, Crystal, JavaScript, TypeScript, Kotlin, Java, Python, 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 class="position">
|
||||
<h2>Senior Programming Language Engineer, <a class="project-link" href="https://chapel-lang.org">Chapel<i data-feather="link" class="project-link-icon"></i></a></h2>
|
||||
<div class="position-location">Hewlett Packard Enterprise | Summer 2022 - Present</div>
|
||||
<ul>
|
||||
<li>Implemented compile-time reflection, parallel iterators, and trait-like interfaces in Chapel's <em class="bold">C++</em>-based compiler.</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>Optimized scope resolution and type checking compiler passes, improving performance by 30% and 60% respectively.</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
|
||||
</em> programming support using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
|
||||
</ul>
|
||||
</div>
|
||||
|
||||
<div class="position">
|
||||
<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 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 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>
|
||||
|
||||
<div class="position">
|
||||
<h2>Front-End Intern, <a class="project-link" href="https://github.com/vector-im/hydrogen-web">Hydrogen<i data-feather="link" class="project-link-icon"></i></a></h2>
|
||||
<div class="position-location">Element.io | June 2021 - September 2021</div>
|
||||
<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 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>
|
||||
</div>
|
||||
|
||||
<!--
|
||||
<div class="position">
|
||||
<h2>Undergraduate Teaching Assistant, Programming Language Theory, CS 381</h2>
|
||||
<div class="position-location">Oregon State University, Corvallis, OR | Winter 2020 - Spring 2020</div>
|
||||
<ul>
|
||||
<li>Engaged in weekly question-and-answer sessions regarding course topics.</li>
|
||||
<li>Organized <em class="bold">independent review sessions</em> attended by over 70 students.</li>
|
||||
</ul>
|
||||
</div>
|
||||
-->
|
||||
</div>
|
||||
</section>
|
||||
-->
|
||||
<section>
|
||||
<h1>Projects</h1>
|
||||
<div class="section-content">
|
||||
@@ -76,7 +110,7 @@
|
||||
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">
|
||||
<a class="project-link" href="https://dev.danilafe.com/DanilaFe/bloglang/src/branch/main/13">
|
||||
<h2>bloglang</h2>
|
||||
<i data-feather="link" class="project-link-icon"></i>
|
||||
</a> —
|
||||
@@ -138,62 +172,28 @@
|
||||
</div>
|
||||
</section>
|
||||
<section>
|
||||
<h1>Work Experience</h1>
|
||||
|
||||
<h1>Education</h1>
|
||||
<div class="section-content">
|
||||
<div class="position">
|
||||
<h2>Senior Programming Language Engineer, <a class="project-link" href="https://chapel-lang.org">Chapel<i data-feather="link" class="project-link-icon"></i></a></h2>
|
||||
<div class="position-location">Hewlett Packard Enterprise | Summer 2022 - Present</div>
|
||||
<ul>
|
||||
<li>Implemented compile-time reflection, parallel iterators, and trait-like interfaces in Chapel's <em class="bold">C++</em>-based compiler.</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 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
|
||||
</em> programming support using <em class="bold">Clang</em> and <em class="bold">ROCm</em> tooling.</li>
|
||||
</ul>
|
||||
<div class="education-container">
|
||||
<em class="italic">Master of Science</em>, Oregon State University, Computer Science - Completed June 2022 • <em class="bold">4.0 GPA</em>
|
||||
<div class="education-subtext">Thesis: <em>Guided Translation of Algorithmic Notation into Functional Programs</em></div>
|
||||
</div>
|
||||
|
||||
<div class="position">
|
||||
<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 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 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 class="education-container">
|
||||
<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>
|
||||
</div>
|
||||
|
||||
<div class="position">
|
||||
<h2>Front-End Intern, <a class="project-link" href="https://github.com/vector-im/hydrogen-web">Hydrogen<i data-feather="link" class="project-link-icon"></i></a></h2>
|
||||
<div class="position-location">Element.io | June 2021 - September 2021</div>
|
||||
<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 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>
|
||||
</div>
|
||||
|
||||
<!--
|
||||
<div class="position">
|
||||
<h2>Undergraduate Teaching Assistant, Programming Language Theory, CS 381</h2>
|
||||
<div class="position-location">Oregon State University, Corvallis, OR | Winter 2020 - Spring 2020</div>
|
||||
<ul>
|
||||
<li>Engaged in weekly question-and-answer sessions regarding course topics.</li>
|
||||
<li>Organized <em class="bold">independent review sessions</em> attended by over 70 students.</li>
|
||||
</ul>
|
||||
</div>
|
||||
-->
|
||||
</div>
|
||||
</section>
|
||||
<!--
|
||||
<section>
|
||||
<h1>Skills</h1>
|
||||
|
||||
<div class="section-content">
|
||||
<em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Coq, Idris, Crystal, JavaScript, TypeScript, Kotlin, Java, Python, 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>
|
||||
</section>
|
||||
-->
|
||||
<section>
|
||||
<h1>Additional Experience</h1>
|
||||
|
||||
|
||||
Reference in New Issue
Block a user