Teaching

undergraduate

Guarantee of the bachelor study programme Theoretical Computer Science

My current courses:

• Automata and Grammars - lectures, seminars  
• Programming Languages and Compilers - lectures  
• Operating systems - seminars

graduate

Guarantee of the master study programme Theoretical Computer Science

My current courses:

• Parsing and Translation - lectures, seminars  
• Functional and Logic Programming - lectures  
• Code Generation - lectures  

postgraduate

• Tree algorithms