Laboratório de Teoria da Computação

O laboratório T-REX é parte do Departamento de Ciência da Computação da Universidade Federal of Minas Gerais, Brasil. Estamos localizados na cidade de Belo Horizonte, a capital do estado de Minas Gerais.

A atuação do laboratório se dá em aspectos teóricos de computação, formalizando conceitos e ideias sobre os quais toda a computação se baseia. Embora a pesquisa desenvolvida tenha elementos comum, envolvendo formalismos, demonstrações e/ou verificações, os trabalhos desenvolvidos abrangem diferentes áreas como criptografia, privacidade e transparência, teoria da segurança, teoria da informação, códigos corretores de erros, teoria dos grafos, algoritmos, estruturas de dados, métodos formais, combinatória poliédrica, computação quântica, combinatória algébrica, programação semidefinida e aspectos teóricos fundamentais de outras áreas da computação.