Docente

Autran Macedo

Professor Titular - Doutorado - Dedicação Exclusiva
por Faculdade de Computação
Publicado: 27/09/2018 - 10:27
Última modificação: 26/08/2021 - 23:40
Cargo: 
Professor Titular
Situação Funcional: 
Em exercício
Titulação: 
Doutorado
Regime de Trabalho: 
Dedicação Exclusiva
Formação: 

Possui graduação em Tecnologia Em Processamento de Dados pela Universidade de Brasília (1979), Mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1985) e Doutorado em Ciência da Computação pela Universidade Federal de Minas Gerais (2002).

Áreas de pesquisa ou interesse:

Professor da Universidade Federal de Uberlândia, tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Workflow, Verificação de Modelos (Symbolic Model Checking), Software Livre. Também tem interesse em problemas de escalonamento (Scheduling) e Engenharia de Software: Verificação Formal de Programas em C.

Unidade Organizacional: 
Endereço: 
Campus Santa Mônica - Bloco 1B - Sala 141