☕️Zhiyuan Yan
Ph.D. student in Microelectronics Thrust
Hong Kong University of Science and Technology (GZ)
Hi! My name is Greg, Yan Zhiyuan. I am a first-year Ph.D. student in Microelectronics Thrust, advised by Prof. Hongce Zhang (https://hongcezh.people.ust.hk). My research interests include hardware formal verification, Boolean satisfiability problem and machine learning for EDA.
Download my CV .
Education
Ph.D. in Microelectronics Thrust
Master in Microelectronics
BSc in Electronic Information Science and Technology
Experience
Research Assistant
Responsibilities include:
- Solved the Boolean Satisfiablity problem (SAT) via machine learning
- Explored opportunities in the SAT solving and hardware formal verification with the help of the machine learning
Recent Publications
(2024).
AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs.
ASP-DAC.
(2022).
Multicolor Light Mixing in Optofluidic Concave Interfaces for Anticounterfeiting with Deep Learning Authentication.
ACS Appl. Mater. Interfaces.