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