Computer-Aided Verification
計算機輔助驗證
Graduate School of Computer Science and Information Engineering
National Chung Cheng University, Chiayi, Taiwan.


What's New???

Final Course Scores (Updated: June 26, 2006)
(If you need to clarify your scores or check your final exam evaluations, you need to meet me latest by June 27, 2006 noon 12:00)

Instructor
Prof. Pao-Ann Hsiung
E-mail: pahsiung@cs.ccu.edu.tw
Telephone: (05)2720411 ext. 33119
Office: EA-512
Schedule
Lectures: Wednesday (10:15 ~ 13:00)
Office Hours: by appointment (E-MAIL)
Room EA-205
Syllabus Brief description on the course and tentative schedules
Lecture Notes Slides and notes used in each lecture
Homeworks Assignments, Solutions, Evaluations
Projects Groups, Project Themes, Project Results, Project Evaluations
Students List of students taking the course and related course records
Resources Course tools / materials for downloading or viewing

Last Updated on March 15, 2006.