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 …
Master of Software Engineering, School of Computer Science
August 2025 ~ December 2026
Carnegie Mellon University
Bachelor of Engineering in Computer Engineering
March 2015 ~ August 2020
Kyung Hee University
NHN Cloud
Company-wide DevOps platform for NHN Cloud PaaS, a top-3 cloud provider in South Korea.
NHN
Naver
Nexon Networks Corp
Quality assurance arm of Nexon, one of the largest game companies in South Korea.
Carnegie Mellon University
Kyung Hee University
Infrastructure and ML platforms I built at Carnegie Mellon
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 …