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: Viktor Kuncak
- Professor: Martin Odersky
- Doctoral Assistant: Olivier Blanvillain
- Doctoral Assistant: Adrien Ghosn
- Doctoral Assistant: Guillaume Martres
- Doctoral Assistant: Dragana Milovancevic
- Doctoral Assistant: Nicolas Alexander Stucki
