Computer Aided Verification Laboratory | 電腦輔助驗證實驗室

Letter for new students

  • Letter for new students

  • 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.


    • year 2018
    • 2018-09-21
      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


    • 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)

    Flag Counter Flag Counter