Learn how to design and implement reliable, maintainable, and efficient
software using a mix of programming skills (declarative style,
higher-order functions, inductive types, parallelism) and
fundamental software construction concepts (reusability, abstraction,
encapsulation, composition, proofs)
- Instructor: Viktor Kuncak
- Instructor: Martin Odersky
- Instructor: Clément Pit-Claudel
- TA: Yann Bouquet
- TA: Matthieu Bovel
- TA: Samuel Chassot
- TA: Shardul Chiplunkar
- TA: Sankalp Gambhir
- TA: Yawen Guan
- TA: Anna Herlihy
- TA: Yichen Xu
- TA: Yaoyu Zhao
