Auto-CEGAR Gating for RWML Time-Series Anomaly Detection
Independent study at Carnegie Mellon. Integrated 5 auto-CEGAR gating algorithms into the RWML anomaly detection model, porting and training every variant end to end on a self-built …
I enjoy making things. Here are a selection of projects that I have worked on over the years.
Independent study at Carnegie Mellon. Integrated 5 auto-CEGAR gating algorithms into the RWML anomaly detection model, porting and training every variant end to end on a self-built …
Infrastructure and MLOps lead in a 5-person CMU team (17-645). Operated a movie recommender serving a simulated 1M-user streaming service across dev and prod Kubernetes …
Serverless payroll-data ingestion platform on AWS (Lambda, SQS, DynamoDB, CDK), built as a CMU MSE Studio project for Troutwood. I built the end-to-end delivery platform for the …