Course Schedule and Catalog
Course Schedule - Spring Semester 2019
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 408 001 (CRN: 26374)
VERIFIED PROGRAMMING
Long Title: VERIFIED PROGRAMMING
Department: Computer Science
Instructor: Mamouras, Konstantinos
Meeting: 2:30PM - 3:45PM TR (7-JAN-2019 - 19-APR-2019)
Part of Term: Full Term
Grade Mode: Standard Letter
Course Type: Lecture
Language of Instruction: Taught in English
Method of Instruction: Face to Face
Credit Hours: 3
Course Syllabus:
Course Materials: Rice Campus Store
Restrictions:
Must be enrolled in one of the following Level(s):
Undergraduate Professional
Visiting Undergraduate
Undergraduate
Section Max Enrollment: 50
Section Enrolled: 2
Total Cross-list Max Enrollment: 100
Total Cross-list Enrolled: 6
Enrollment data as of: 3-DEC-2024 9:13PM
Final Exam: Scheduled Final Exam-OTR Room
Final Exam Time:
30-APR-2019
9:00AM - 12:00PM T
Description: The course will explore the mathematical underpinnings of reliable software. The students will learn how to use proof assistants to construct software along with a machine-checkable proof of its correctness. Basic concepts of logic, functional programming, static type systems and deductive verification will be covered. Cross-list: COMP 548.