Paulo Augusto da Silva Veloso

 

Breve Resumo Currículo Lattes

 

Possui graduação em Engenharia de Eletrônica pelo Instituto Tecnológico de Aeronáutica (1968) , mestrado em Engenharia Elétrica (Sistemas) pela Universidade Federal do Rio de Janeiro (1970) , mestrado em Mathematics (Logic) pela University of California (1974) e doutorado em Electrical Engineering & Computer Science pela University of California (1975) . Atualmente é professor titular da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: Automatos Finitos, Linguagens Regulares, Redes de Automatos, Decomposicao de Automatos, Familias de Linguagens.