Advanced Courses:
Distributed Artificial Intelligence (for CMAS Lab)
Advanced Logic (formal Verification)
Complexity Theory
Computable Analysis
Multi Agent System Theory
Social Game Theory
Undergraduate Courses:
Automata and Languages Theory
Intelligent Agent
Theory of Computation
Topology