Inteligência Artificial, Teoria da Computação e Otimização

Esta linha contempla pesquisas relacionadas com inteligência artificial, teoria da computação e otimização, em temas como algoritmos e complexidade, aprendizado de máquina, aprendizado profundo, lógica e semântica de programas, métodos formais para computação, teoria da prova e prova automática de teoremas.