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

Teaching

Courses in master studies

Code Course name
NI-MPJ Modelling of Programming Languages

Courses in doctoral studies

Code Course name
PI-APA Advanced Program Analysis
PI-TPL Type Systems for Programming Languages