Understanding of the principles and applications of declaratative programming, the fundamental models of program execution, application of fundamental methods of program composition,meta-programming through the construction of interpreters and advanced programming techniques.
- Professor: Sanidhya Kashyap
- Professor: Viktor Kuncak
- Professor: Martin Odersky
- Doctoral Assistant: Roman Bachmann
- Doctoral Assistant: Yann Bouquet
- Doctoral Assistant: Matthieu Bovel
- Doctoral Assistant: Andrea Felice Caforio
- Doctoral Assistant: Anna Herlihy
- Doctoral Assistant: Dragana Milovancevic
- Doctoral Assistant: Yuchen Qian
