External Project

Last updated on Nov 27, 2022
Go to Project Site
Photo by Toa Heftiba on Unsplash
Demo
Zhiyuan Yan
Zhiyuan Yan
Ph.D. student in Microelectronics Thrust

My research interests include hardware formal verification, AI for EDA and Boolean Satisfiability Problem.