Welcome to join us!

CAV Lab is established from Aug. 2016.

Students who are interested in Formal Method, Safety/Security/CPU Verification and Algorithms are welcome to join us.

Awards

• year 2018
2018-09-21
grats
Our team has entered the TOP 10 of Problem A (Smart EC: Program-Building for Name Mapping) of the 2018 CAD Contest at ICCAD.
Team member
Graduate Students: Chia-Hao Hsu 、 Chun-Sheng Ke 、 Tien-Yin Cheng
Undergraduate Students: Jhong-Kai Cheng 、 Jia-Xian Chen

Internship

• year 2017
2017-07-01
Ming-Lin Lu , Pei-Hong Wu gets internship opportunity of RealTek!!

Laboratory rules

Do not play any annoying entertainment during 6 am- 10pm.

Visitors (since September 1st 2017)