This course has four purposes: (1) to learn about the hierarchy of abstractions and implementations that comprise a modern computer system; (2) to demystify the machine and the tools that we use to ...

What prompted the idea for the course? Generative AI is really good at computer programming – to the point where the way we teach and assess students who are learning to program must change. We used ...

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...