January 16, 2026

Yanran Lin Selected as CRA-WP Grad Cohort Workshop Scholar (2026)

Yanran Lin was selected as a 2026 CRA-WP Grad Cohort Workshop Scholar, recognizing her momentum in trustworthy CPS and formal methods research.