Luis Humberto Rezende Barbosa

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Minas Gerais (1989), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1992) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2002). Atualmente é diretor - T3 Informatica Aplicada LTDA. Tem experiência na área de Ciência da Computação, com ênfase em Verificação Formal, atuando principalmente nos seguintes temas: verificação formal, síntese lógica, lógica multivalorada, algoritmos sat e compiladores.

graduate at Bacharelado em Ciência da Computação from Universidade Federal de Minas Gerais (1989), master's at Computer Science from Universidade Federal de Minas Gerais (1992) and ph.d. at Computer Science from Universidade Federal de Minas Gerais (2002). Has experience in Computer Science, acting on the following subjects: formal erification, síntese lógica, lógica multivalorada, algoritmos sat and compiladores.