AFP – Algorithms and Foundations of Programming languages

The “Algorithms and Foundations of Programming languages” track explores algorithms and programs as scientific concepts, addressing Algorithmics, Formal methods, Information theory and Cryptology with a rather mathematical approach.

Curriculum:

Recommended Curriculum for Year 2 (M2):

For Further Information: