Student, 15411 Compiler Design

• Worked as a team of two, finished implementing a C0 compiler using Rust, targeting x86-64.
• Implemented frontend, code elaboration, IR generation.
• Implemented modern language features such as Algebraic Datatypes and Nested Pattern Matching.
• Considerably optimized the compiler via register allocation, hot path heuristics, and purity analysis. Achieved approx. 67% of the performance of GCC -O1.

Developer, TaggyTime

• Developing a program in Rust to optimize users' schedules by minimizing peak workload.
• Implemented an algorithm that parses a Google Calendar and computes load factors for individual tasks
• Designed numerical refinement types to make complex computations verifiably correct

Teaching Assistant, 15251 Theoretical CS

• Hosted weekly recitations and office hours; graded homework and exams; helped revise grading rubrics.
• Flexibly drew connections between course material and each student's technical background; received 100% positive student feedback for office hour interactions.

Student Researcher, Planar Graph Theory

• Worked in a team of 3 and guided by Professor Aristotelis, conducted research on the Projective Amalgamation Property of connected planar graphs.
• Derived an algorithmic proof for the existence of connected epimorphisms induced by some face of a planar graph.