Tzu-Yu Tung

About

Hello! I am a master's student at the NTU DVLab and focus on formal verification now. I received my Bachelor's degree in Electrical Engineering from NTU in 2022, and I am studying for the master degree in Electrical Engineering, NTU. I have had the privilege to work with Prof. Chung-Yang (Ric) Huang at NTU.