Computer Science Undergraduate Courses:
Logic for Computer Science
Formal Languages and Automata
Compilers
Master's Programme in Computer Science:
Formal Methods
Agents and Multi-Agent Systems