CTC15 - Inteligência Artificial
CT200 - Fundamentos de Automata e Linguagens Formais
CTC34 - Automata e Linguagens Formais
CT205 - Lógica da Incerteza
CT215 - Inteligência Artificial
CT218 - Sistemas de Aprendizado Autônomo
CT219 - Fundamentos Computacionais de Robótica Móvel
CT300 - Seminário de Tese
MB770 - Previsão usando Modelos Matemáticos