Course Schedule and Catalog
Course Schedule - Spring Semester 2015
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
Meeting location information can now be found on student schedules in ESTHER (for students) or on the Course Roster in ESTHER (for faculty and instructors).Additional information available here.
COMP 507 001 (CRN: 23533)
COMPUTER-AIDED PROGRAM DESIGN
Long Title: COMPUTER-AIDED PROGRAM DESIGN
Department: Computer Science
Instructor: Chaudhuri, Swarat
Meeting: 4:00PM - 5:15PM TR (12-JAN-2015 - 24-APR-2015)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 4
Course Syllabus:
Prerequisites: (COMP 482 OR ELEC 420) OR COMP 481
Section Max Enrollment: 19
Section Enrolled: 5
Enrollment data as of: 25-APR-2024 8:32AM
Description: This course is a graduate-level introduction to computer-aided program design, a field that studies logical and algorithmic techniques for formally verifying programs, and mechanized derivation of programs that are correct by construction. Topics covered will include classical automated program verification in particular abstract interpretation and model checking - as well as recent developments in algorithmic program synthesis.