Výuka

bakalářské studium

Garant bakalářského studijního programu Teoretická informatika

Předměty:

• Automaty a gramatiky - přednášky, semináře  
• Programovací jazyky a překladače - přednášky  
• Operační systémy - semináře

magisterské studium

Garant magisterského studijního programu Teoretická informatika

Předměty:

• Syntaktická analýza a překlad - přednášky, semináře  
• Funkcionální a logické programování - přednášky  
• Generování kódu - přednášky  

doktorské studium

• Stromové algoritmy