prof. Jan Vitek, MSc., Ph.D.

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