Professor
Autran Macedo
Professor - PhD - Exclusive Dedication
by Faculdade de Computação
Published: 27/09/2018 - 10:27
Last modification: 27/02/2025 - 08:57
Published: 27/09/2018 - 10:27
Last modification: 27/02/2025 - 08:57
Office:
Professor
Situação Funcional:
Aposentado
Degree:
PhD
Data de ingresso:
14/10/1988 (36 anos, 6 meses, 15 dias)
Regime de Trabalho:
Exclusive Dedication
Formação:
BSc in Data Processing Technology by University of Brasília (1979);
MSc in Computer Science by Federal University of Rio Grande do Sul (1985);
PhD in Computer Science by Federal University of Minas Gerais (2002).
Research Interests:
- Computer Science;
- Software Engineering;
- Workflow;
- Symbolic Model Checking;
- Free software;
- Scheduling;
- Formal Verification of Programs in C.
Organizational Unit:
Endereço:
Campus Santa Mônica - Bloco 1B - Sala 141
