Academics












            ******************************************************************************************

            *
            ******************************************************************************************
            The department is responsible for graduate study programs Theoretical Computer Science and

            Intelligence and for the doctoral program Theoretical Computer Science (that includes Arti
            Intelligence topics as well). We are teaching courses and supervise students at all levels
            (undergraduate, graduate, and postgraduate). We focus on areas such as predicate and propo

            formal automata and grammars, complexity and computability, artificial intelligence includ
            scheduling, constraint satisfaction, knowledge representation (logic and probabilistic), m
            and data mining, neural networks, nature-inspired computation, and robotics.