Tag: research
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
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