Publicações no BrCris
 

Arnaldo Vieira Moura

Graduated from the Aeronautics Institute of Technology - ITA (1973), MSc. in Applied Mathematics (specializing in Computer Science) from the Aeronautics Institute of Technology; Ph.D. in Computer Science from the University Of California, Berkeley (1980). research interests mainly focus in automata theory, testing and verification, optimization, heuristics and constraint programming,

Possui graduação em Engenharia pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em Matemática Aplicada (Ênfase Em Computação) pelo Instituto Tecnológico de Aeronáutica (1976) e doutorado em Computer Science - University Of California Berkeley (1980). Interesses principais nas áreas de automtos e linguagens formais, teste e verificação, otimização, heurísticas e programação por restrições.

Áreas De Investigação áreas de pesquisa

  •  
  • Visão geral
  •  
  • Publicações
  •  
  • Ensino
  •  
  • Identidade
  •  
  • Ver todos
  •