Teaching

Theoretical Computer Science
Computational approach to games
Formal Systems II: Theory
Algorithmic and Complexity
Language and Automata
Logic modeling and formal systems
Coding Weeks
Computer science refresher course
Information Systems and Programming