Academics Navigation
Academics
You are here
Courses
| Campus | Haverford |
| Semester | Fall 2023 |
| Registration ID | CMSCH395A001 |
| Course Title | Advanced Topics in Computer Systems: Type-Theoretic Foundations for Reliable Software Design |
| Credit | 1.00 |
| Department | Computer Science |
| Instructor | Choudhury,Pritam |
| Times and Days | TTh 01:00pm-02:25pm
|
| Room Location | STO10 |
| Additional Course Info | Class Number: 3024 Software reliability is of paramount importance in critical applications, like smart grids, online banking and automated life-support systems. Errors in software that supports such applications can lead to damaging consequences, like loss of life and property. Type systems provide an effective way to reduce such errors, thereby making the software more reliable. In this course, we shall dive into the foundations of type systems and see how they help us design reliable software. In particular, we shall study a foundational type system called the Simply-Typed Lambda-Calculus and discuss how it can be extended to design software that can be used reliably in critical applications.; Prerequisite(s): CMSC 106/151/107 and CMSC 231, or permission of instructor; Enrollment Limit: 24 Natural Science, C: Physical and Natural Processes (Hav: NA, C) |
| Miscellaneous Links |