李彥儒

簡介

I am a graduate student at GIEE, NTU. I am doing research on a general flow of formal verification；Besides foraml verification, I am also ineterested in Machine Learning. I have been a teaching assistant of ML class；I got 2nd place in ICCAD 2021. During the summer of 2022, I joined Synopsys VC fromal team as an intern R&D