Computational Search for 3-existential graphs
Exhaustive search algorithm in C and Google Cloud Platform for combinatorial graph properties.
Projects
Review Aggregate Critical Film Success Predictor
Predicting film success and award outcomes using Letterboxd review data and community detection algorithms.
Logic Research Group Wiki
A database of proofs and definitions in model theory for graduate students.
Levenshtein-distance Stock Typo Analysis
Analyzing market inefficiencies caused by retail trader typos using Levenshtein distance.