 |
Hugo Valentim Barros Concluiu o curso de MBA Executivo em Finanças pelo Ibmec Educacional em 2006, possui Mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2004) e é bacharel em Ciência da Computação pela Universidade Federal de Minas Gerais (2002). Tem experiência na área de Ciência da Computação, com ênfase em Modelos de Computação, Sistemas Operacionais e Testes de Software.
Última
atualização do currículo em 10/02/2010
Endereço para acessar este CV: http://lattes.cnpq.br/3934522984445398 |
Dados pessoais
| Nome | Hugo Valentim Barros |
| Nome em citações bibliográficas | BARROS, Hugo Valentim |
| Sexo | Masculino |
| Endereço profissional | Base2 Tecnologia. Rua Guajajaras, 870 Centro 30180-100 - Belo Horizonte, MG - Brasil Telefone: (31) 36533680 URL da Homepage: http://www.base2.com.br |
Formação acadêmica/Titulação
| 2002 - 2004 | Mestrado em Mestrado Em Ciência da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras, Ano de Obtenção: 2004. Orientador:  Sérgio Vale Aguiar Campos.
Palavras-chave: Verificação de Modelos; Algortimos Distribuídos; SAT; Particionamento; Passagem de Mensagens. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. Setores de atividade: Desenvolvimento de Programas (Software); Fabricação de Material Eletrônico e de Aparelhos e Equipamentos de Comunicação. |
| 2004 - 2006 | Especialização em Mba Executivo Em Finanças
.
(Carga Horária: 360h). Ibmec Educacional. Título: Avaliação da Empresa Brasil Telecom. Orientador: Haroldo Guimarães Brasil. |
| 1998 - 2002 | Graduação em Bacharelado Em Ciência da Computação
.
Universidade Federal de Minas Gerais, UFMG, Brasil. Título: Sistema de Monitoramento Remoto de Computadores. Orientador: Sérgio Vale Aguiar Campos. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Minas Gerais . |
Atuação profissional
| Base2 Tecnologia, BASE2, Brasil. |
| Vínculo institucional |
| 2005 - Atual | Vínculo: Proprietário, Enquadramento Funcional: Sócio-Diretor, Carga horária: 45 |
| Atividades |
| 3/2005 - 12/2005 | Direção e administração, . |
| Cargo ou função Sócio Diretor. |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Computabilidade e Modelos de Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação /
Especialidade: Linguagem Formais e Autômatos. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Sistemas de Informação. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Arquitetura de Sistemas de Computação. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Engenharia de Software. |
Idiomas
| Inglês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Bem. |
Prêmios e títulos
| 2007 | Certificado Brasileiro de Testes de Software, ALATS - Associação Latino Americana de Testes de Software. |
| 2007 | ISTQB Certified Tester, BSTQB - Brazilian Software Testing Qualifications Board. |
BARROS, Hugo Valentim ; S. Campos ; M. Song ; L. Zarate . Exploring Clause Symmetry in a Distributed Bounded Model Checking.
2007. (Apresentação de Trabalho/Conferência ou palestra). | Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 13:57:50 |