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.
Do not play any annoying entertainment during 6 am- 10pm.