Programs

Logic, Games and Automata

This course delves into the mathematical foundations of intelligent systems, examining how modern systems interact, make decisions, and respond to their environments. You will gain advanced knowledge of the theory behind reactive systems and learn to analyze their behavior using formal methods. By integrating concepts from logic, game theory, and automata theory, the course provides a rigorous approach to specifying, modeling, and verifying computational properties. You will also enhance your skills in constructing mathematical proofs and critically assessing theoretical approaches to computation. This program is ideal for students interested in the theoretical underpinnings of computer science and the design of logic-driven systems.