
-
Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG
-
Formados pelo DCC/UFMG compartilham experiências com calouros do Tronco Comum em Computação
-
Modelagem e Resolução de Problemas de Otimização Combinatória
-
Palestra: When It Looks Too Good to Be True, It Usually Is: Unlocking Black-Box Models for Networking Problems with Trustee
-
Praça da árvore do DCC recebe mostra com mais de 130 trabalhos estudantis
