Selected Research & Projects
My contributions, results, and supporting evidence. View all projects & events · About me
AI Face Forensics & CCSC Poster Award
I studied spectral and edge cues in generated versus real faces, controlled content differences, and presented the work at CCSC Eastern.
- My role
- Independent student researcher; academic guidance from Kathy Macropol
- Outcome
- ROC-AUC 0.7482 on a 400-image internal test; Second Place (Tied), Student Poster, CCSC Eastern 2026.
2026/11/3
Concurrent Protocol Verification with PRISM
I modeled mutual-exclusion protocols in PRISM and examined safety, progress, waiting rewards, and deliberately faulty variants.
- My role
- Concurrent-protocol modeling and verification within a capstone team
- Outcome
- Verified properties of two 5,738-state Bakery models and exposed a mutual-exclusion failure in a faulty variant.
2026/11/3
Anime Rating Estimation & Leakage Analysis
I explored anime metadata and community ratings, then extended the coursework with a reproducible, explicitly AI-assisted evaluation and leakage audit.
- My role
- Course-project author; substantial Codex assistance in the later refactor
- Outcome
- Selected model: RMSE 0.4611 and R² 0.6233 on 1,943 held-out records; 38.6% lower RMSE than the mean baseline.
2026/11/3