This is going to be the official course page for CS410 in Spring 2027.
See the official class description for 2026–27.
Timetable
Teaching runs from 18 January to 4 April 2027 (11 weeks).
| What | When | Where |
|---|---|---|
| Lecture | Monday 10:00–11:00 | GH732 |
| Lecture | Tuesday 14:00–15:00 | TG227 |
| Lab and tutorial | Monday 11:00–12:00 | LT1201 |
Staff
- Vikraman Choudhury, lecturer
-
[email protected]
Office: LT1311c, Livingstone Tower
Office hours: TBD
Assessment
- Final exam: 70%
- Coursework: 30% TBD
Key dates
- Teaching: 18 January – 4 April 2027
- Non-teaching days: 26 March (Good Friday), 29 March (Easter Monday)
- Spring vacation: 5 – 18 April 2027
- Assessment period: 19 April – 21 May 2027 (excluding 3 May)
See the University’s key dates for 2026–27.
Schedule
Lecture topics are to be confirmed.
| Week | Date | Lecture | Topic |
|---|---|---|---|
| 1 | Mon 18 Jan | 1 | Proofs and Programs |
| 1 | Tue 19 Jan | 2 | Types |
| 2 | Mon 25 Jan | 3 | Categories and Functors |
| 2 | Tue 26 Jan | 4 | Natural Transformations and Adjunctions |
| 3 | Mon 1 Feb | 5 | Cartesian Closed Categories |
| 3 | Tue 2 Feb | 6 | Simply-Typed Lambda Calculus |
| 4 | Mon 8 Feb | 7 | Operational Semantics |
| 4 | Tue 9 Feb | 8 | Categorical Semantics |
| 5 | Mon 15 Feb | 9 | Machine Semantics |
| 5 | Tue 16 Feb | 10 | Initiality |
| 6 | Mon 22 Feb | 11 | Inductive Types |
| 6 | Tue 23 Feb | 12 | Initial Algebras |
| 7 | Mon 1 Mar | 13 | Semantics of Inductive Types |
| 7 | Tue 2 Mar | 14 | Effects and Monads |
| 8 | Mon 8 Mar | 15 | Call-by-Push-Value |
| 8 | Tue 9 Mar | 16 | Operational Semantics |
| 9 | Mon 15 Mar | 17 | Categorical Semantics |
| 9 | Tue 16 Mar | 18 | Machine Semantics |
| 10 | Mon 22 Mar | 19 | Initiality |
| 10 | Tue 23 Mar | 20 | Miscellaneous Topics |
| 11 | Mon 29 Mar | No lecture or lab (Easter Monday) | |
| 11 | Tue 30 Mar | 21 | Miscellaneous Topics |
No matching items
Reading
Recommended reading: TBD
Contacts
- CIS Office: LT1101, [email protected], 0141 548 3189 / 3096
- IT support: [email protected]
Links
- MyPlace: announcements and coursework submission
- Pegasus: timetable and personal circumstances
- CIS help and FAQ: lab machines and accounts
- Late submissions and extensions, and the University’s extensions policy
- Tell Strathclyde: absences and personal circumstances
- Use of Gen-AI in learning and assessment
- Disability & Wellbeing Service