Yen-Ju Lee

About

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