Moura, Leonardo de.

Mathematical Logic and Formal Languages. Software Engineering. Logics and Meanings of Programs. Automatic theorem proving Artificial Intelligence (incl. Robotics) Algorithm Analysis and Problem Complexity. Logic, Symbolic and mathematical Computer Science.