Docente
Autran Macedo
Professor Titular - Doutorado - Dedicação Exclusiva
por Faculdade de Computação
Publicado: 27/09/2018 - 10:27
Última modificação: 19/01/2023 - 14:00
Publicado: 27/09/2018 - 10:27
Última modificação: 19/01/2023 - 14:00
Cargo:
Professor Titular
Situação Funcional:
Aposentado
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