prof. Jan Vítek, MSc., Ph.D.

Vedoucí Laboratoře výzkumu programování

Výuka

Předměty navazujícího magisterského studia

Kód Název předmětu
NI-MPJ Modelování programovacích jazyků

Předměty doktorského studia

Kód Název předmětu
PI-APA Advanced Program Analysis
PI-TPL Type Systems for Programming Languages