🔍 owen-li.com

📞 (412) 758-3468




Programming Languages
  • Rust
  • Dart
  • C++
  • Java
  • Python
  • Standard ML
  • Prolog
  • Flutter
  • JavaFX
  • Eigen
  • Numpy
  • Clap
Softwares and Services
  • Git
  • LaTeX
  • Vim
  • Docker
  • Blender
  • Mathematica
  • gdb
  • Amazon EC2


Carnegie Mellon University

Pittsburgh, PA

Sep 2020 - Present


B.Sc in Computer Science, with an additional major in Math (GPA: 3.7)

Relevant Coursework
  • Compiler Design
  • Computer Systems
  • Algorithm Design and Analysis
  • Constructive Logic
  • Probabilistic Combinatorics
  • Probability
  • Statistical Inference
  • Machine Learning
  • Professional Writing


Student, 15411 Compiler Design

Carnegie Mellon University

Jan - May 2023

  • 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

Personal Project

Feb 2023 - Present

  • 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

Academic Experiences

Teaching Assistant, 15251 Theoretical CS

Carnegie Mellon University

Sep - Dec 2022

  • 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

Carnegie Mellon University

May - Aug 2022

  • 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.