← Back to People
PhD Student
Yanran Lin
Kahlert School of Computing, University of Utah
Yanran Lin is a PhD student in the Kahlert School of Computing at the University of Utah, working under the supervision of Dr. Luis Garcia. Her research focuses on formal verification and security analysis of programmable logic controllers in industrial cyber-physical systems.

Education
Ph.D. Computer Science (In Progress)
University of Utah (2020-Present)
M.S. Electrical Engineering
Previous University (2020)