Първи семестър
Бързи алгоритми върху структури от данни
Семинар по некласически логики 1
Втори семестър
Ламбда смятане и теория на доказателствата
Логики за пространство и време, основани на региони и контакт
Приложения на крайните автомати
Семинар по некласически логики 2
Трети семестър
Преддипломен курсов проект
Разработване и защита на дипломна работа