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: Aleksander Slawomir Boruch-Gruszecki
- Doctoral Assistant: Periklis Chrysogelos
- Doctoral Assistant: Timothée Jean Pascal Paul Floure
- Doctoral Assistant: Guillaume Martres
- Doctoral Assistant: Nicolas Alexander Stucki
