Professor

Autran Macedo

Professor - PhD - Exclusive Dedication
by Faculdade de Computação
Published: 27/09/2018 - 10:27
Last modification: 19/01/2023 - 14:00
Office: 
Professor
Situação Funcional: 
Aposentado
Degree: 
PhD
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: 
Faculdade de Computação
Plano de Trabalho Docente
Endereço: 
Campus Santa Mônica - Bloco 1B - Sala 141