Yanran Lin Selected as CRA-WP Grad Cohort Workshop Scholar (2026)
1/16/2026
Yanran Lin was selected as a 2026 CRA-WP Grad Cohort Workshop Scholar, recognizing her momentum in trustworthy CPS and formal methods research.
Student AwardCRA-WPPhD
Yanran Lin was selected as a 2026 CRA-WP Grad Cohort Workshop Scholar, recognizing her momentum in trustworthy CPS and formal methods research.