Programovací jazyky

Specializace se zaměřuje na teoretické i praktické aspekty návrhu a implementace vyšších programovacích jazyků. Studenti zkoumají sémantiku, běhová prostředí a možnosti moderních překladačů. Učí se jak principy návrhu aplikovat v praxi a chápat jejich důsledky pro vývoj software. Vyváženost teorie a praxe zajišťuje komplexní pohled na problematiku jazyků. Absolventi jsou schopni vytvářet a optimalizovat programovací nástroje.

Absolvent specializace

Rozumí principům překladačů, virtuálních strojů, běhových systémů a technikám správy paměti.
Ovládá nástroje a algoritmy pro tvorbu a optimalizaci překladačů a systémů běhové podpory.
Zvládá modelování sémantiky moderních programovacích jazyků a návrh nízkoúrovňového programování.