Education

Bachelor of Science, Oregon State University, Major: Computer Science | Minor: Mathematics - Completed June 2020 • 4.0 GPA
Master of Science, Oregon State University, Computer Science - Expected June 2022 • 4.0 GPA

Skills

Programming Languages: C, C++, Haskell, Elm, Coq, Idris, Crystal, JavaScript, TypeScript, Kotlin, Java, Python, Nix, Haxe
Languages: English (native), Russian (native), French (conversational, DELF B1 certification)
Additional Skills: Compiler design, formal verification, algorithms, low-level development.

Projects

bloglang

— Compiler for a purely functional, lazily evaluated language explained in-depth on personal blog.

maypop

— Dependently typed functional programming language capable of formal proofs.

pegasus

— LALR parser generator currently supporting the C and Crystal languages.

matrix-highlight

— Tool for collaborative, decentralized, and federated web annotation based on the Matrix protocol.

Publications

Divya Bajaj, Martin Erwig, Daniel Fedorin: A Visual Notation for Succinct Program Traces (journal paper), COLA 2023
Divya Bajaj, Martin Erwig, Daniel Fedorin, Kai Gay: Adaptable Traces for Program Explanations, APLAS 2021
Divya Bajaj, Martin Erwig, Daniel Fedorin, Kai Gay: A Visual Notation for Succinct Program Traces, VL/HCC 2021
Jácome Cunha, Mihai Dan, Martin Erwig, Daniel Fedorin, Alex Grejuc: Explaining spreadsheets with spreadsheets (short paper).
GPCE 2018: 161-167

Work Experience

Programming Language Engineer, Chapel

Hewlett Packard Enterprise | Summer 2022 - Present

Contributed to development of LLVM-based distributed programming language written in C++.
Investigated and implemented initial AMD GPU programming support using Clang and ROCm tooling.
Revamped compiler error messages by building a new type-safe error reporting API.
Designed, launched, and authored articles for the Chapel language technical blog built with Hugo, HTML, and Sass.

Research Assistant, Programming Language Theory

Oregon State University, Corvallis, OR | Spring 2018 - Summer 2022

Formalized denotational and operational semantics of new explanation-oriented programming languages.
Developed tooling in Haskell to interpret, verify, generate, and debug programming languages.
Contributed to research papers published to the GPCE and VL/HCC.

Front-End Intern, Hydrogen

Element.io | June 2021 - September 2021

Spearheaded migration of codebase to TypeScript, improving documentation and discovering hidden bugs.
Leveraged advanced type system features to precisely specify nontrivial program properties.
Developed a mocking system to help specify and test corner cases in a distributed communication system.
Independently implemented user-facing features including offline-first replies and sanitized HTML rendering.

Undergraduate Teaching Assistant, Programming Language Theory, CS 381

Oregon State University, Corvallis, OR | Winter 2020 - Spring 2020

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.
Organized independent review sessions attended by over 70 students.

Additional Experience

Technical Writer

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.
Formalized and described solutions to select Advent of Code problems using the Coq proof assistant.
Created 14-part series on compiler development, walking readers through lexing, parsing, compilation using LLVM, garbage collection, and polymorphic type checking.