Portfolio

I am now in the world of data science and machine learning, where I have been applying the same curiosity and knack for problem-solving that brought be success as a researcher during my math PhD and postdoc. Below is a selection of the data science and programming projects I completed on my own before starting my first job as a data scientist.

Predicting NHL Player Performance

Slides | Github

Data science project, creating a predictive model for NHL player stats based on their recent performance. The final regression model reducing error by >10% compared to the best baseline.

Lean Conjecture Generator

Slides | Github

Generative machine learning model to augment LeanDojo’s ReProver, an AI tool for automated proof search in the Lean theorem-prover.

Personalized Los Angeles Movie Screening Tracker

Github

Python tool that identifies movie screenings at independent movie theaters in the LA area from user-provided lists of movies.

Verification of an Election-based Consensus Algorithm

Github

Overhaul of an existing model of a consensus algorithm in a distributed system, changing from a first-come-first-serve algorithm to a voting algorithm. Formally verified that the algorithm behaves as desired.