Студије
Студенти заинтересовани за програмске језике и алате могу почети своје упознавање са овом облашћу кроз наредне скупове предмета.
Ужи скуп предмета обухвата:
- Р442 - Семантика програмских језика
- Р444 - Дизајн и имплементација функционалних програмских језика
- Р481 - Скрипт језици и веб програмирање
- Р482 - Веб алати и језици
- Р490 - Развој софтвера - напредни концепти
- Р451 - Формалне методе - напредни концепти
Поред ужег скупа предмета, од интереса су и предмети који припадају наредном ширем скупу предмета.
Шири скуп предмета:
- Р410 - Kонструкција и анализа алгоритама - напредни концепти
- Р417 - Сложеност израчунавања
- Р419 - Теорија израчунљивости - напредни концепти
- Р420 - Напредна архитектура рачунара
- Р431 - Обрада дигиталних слика - напредни концепти
- Р453 - Аутоматско доказивање теорема
- Р459 - Одабрана поглавља теоријског рачунарства
- Р470 - Базе података - напредни концепти
- Р471 - Теорија база података
- Р478 - Семантички веб
- Р480 - Програмирање ограничења
У шири скуп предмета спадају и други предмети опште природе који могу бити релевантни за истраживање, као на пример, познавање општих техника оптимизације и машинског учења.