Rede de Colaboração
Diretório de grupos de pesquisa

Umberto Souza da Costa

Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte (1998), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2000) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2005). Atualmente é professor adjunto da Universidade Federal do Rio Grande do Norte. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação e Compiladores, atuando em temas como Verificação de Programas e Serviços Web.
(Texto informado pelo autor)

Última atualização do currículo em 05/10/2011
Endereço para acessar este CV:
http://lattes.cnpq.br/9526809466920084
Dados pessoais
NomeUmberto Souza da Costa
Nome em citações bibliográficasCOSTA, U. S.;da Costa, Umberto Souza
SexoMasculino
Endereço profissionalUniversidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Campus Universitário, DIMAp
Lagoa Nova
59072-970 - Natal, RN - Brasil
Telefone: (84) 32153814 Ramal: 222 Fax: (84) 32153813

Formação acadêmica/Titulação
2001 - 2005Doutorado em Ciências da Computação .
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Um Verificador de Modelos Explícito-Simbólico, Ano de Obtenção: 2005.
Orientador: Sérgio Vale Aguiar Campos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
1999 - 2000Mestrado em Sistemas e Computação .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos, Ano de Obtenção: 2001.
Orientador: Anamaria Martins Moreira.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
1994 - 1998Graduação em Ciências da Computação .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Implementação de Jogos Inteligentes utilizando Sistemas Neuro-Simbólicos.
Orientador: Márcia de Paiva Bastos Gottgtroy.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .

Atuação profissional
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional
2005 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
Atividades
02/2007 - AtualEnsino, Ciências da Computação, Nível: Graduação.
Disciplinas ministradas
Prática de Conceitos e Técnicas de Programação
Linguagem de Programação: Conceitos e Paradigmas
08/2006 - AtualAtividades de Participação em Projeto, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Projetos de pesquisa
PARALELIZAÇÃO E DISTRIBUIÇÃO DO PROCESSAMENTO DE DADOS ASTRONÔMICOS E ESPACIAIS DA UFRN
04/2005 - AtualPesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Linhas de pesquisa
Linguagens de Programação
Engenharia de Software
07/2006 - 12/2006Ensino, Ciências da Computação, Nível: Graduação.
Disciplinas ministradas
Laboratório de Conceitos e Técnicas de Programação
Conceitos e Técnicas de Programação
Tópicos Especiais em Computação (Programação C++ para a plataforma Symbian)
09/2006 - 09/2006Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.
Atividade de extensão realizada
The 2006 ACM-ICPC South America Contest w/Brazil.
02/2006 - 06/2006Ensino, Ciências da Computação, Nível: Graduação.
Disciplinas ministradas
Laboratório de Conceitos e Técnicas de Programação
Linguagem de Programação: Conceitos e Paradigmas
08/2005 - 12/2005Ensino, Ciências da Computação, Nível: Graduação.
Disciplinas ministradas
Software Básico
Algoritmos e Técnicas de Programação
04/2005 - 07/2005Ensino, Ciências da Computação, Nível: Graduação.
Disciplinas ministradas
Linguagem de Programação
Linguagem de Programação: Conceitos e Paradigmas

Linhas de Pesquisa
1. Linguagens de Programação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Palavras-chave: Linguagens de Programação; Métodos Formais.
2. Engenharia de Software

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Palavras-chave: Linguagens de Programação; Métodos Formais.

Projetos de Pesquisa
2006 - 2008PARALELIZAÇÃO E DISTRIBUIÇÃO DO PROCESSAMENTO DE DADOS ASTRONÔMICOS E ESPACIAIS DA UFRN
Descrição: O programa espacial euro-brasileiro CoRoT é uma importante atividade de pesquisa e desenvolvimento na área espacial, gerando um importante meio de formação de pessoal e transferência de know-how para o Brasil. A entrada do Brasil na Missão CoRoT levou a UFRN a atingir mais um estágio dentro das Ciências Espaciais ao trazer para esta instituição a função de coordenadora e executora do único Centro de Missão CoRoT fora da Europa. O Centro de Missão CoRoT do CNES (Toulouse, França) realizará todo o complexo tratamento dos dados recebidos por telemetria e fornecerá aos astrofísicos brasileiros um banco de curvas de luz das observações. Apenas características gerais dessas curvas serão fornecidas. Qualquer análise científica que se queira realizar com estes dados exigirá operações prévias sobre o banco de curvas de luz. O Centro da Missão CoRoT no Brasil coordenará o tratamento e distribuição de dados do banco de curvas de luz. Este Centro será destinado a manter um banco de dados da missão no país e a assegurar a realização de operações como a transferência dos dados para o Brasil e arquivo optimal dos mesmos, tratamento dos dados e a determinação precisa das periodicidades contidas no sinal, o que compreende as freqüências detectadas, bem como suas características. Pretendemos desenvolver pessoal na área de processamento de alto desempenho por meio da exploração de técnicas de paralelismo e distribuição, gerando habilidades para realizar a instalação e configuração do software necessário e efetuar a reengenharia de programas afim de aumentar a eficiência do processamento por meio destas técnicas. Estando no contexto do Centro de Missão CoRoT no Brasil, nosso foco encontra-se sobre os programas responsáveis por operações sobre o banco de curvas de luz do satélite. Estas operações serão realizadas mediante análises temporais homogêneas com técnicas avançadas. Considerando a grande massa de dados a ser analisada em um curto espaço de tempo, técnic.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Tyago de Medeiros Silva - Integrante / Umberto Souza da Costa - Coordenador.
.

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Prêmios e títulos
1998Medalha de Mérito Estudantil, Universidade Federal do Rio Grande do Norte.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1.   COSTA, U. S. ; Moreira, Anamaria Martins ; MUSICANTE, Martin A. ; Neto, Plácido A. Souza . Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science, v. 240, p. 61-78, 2009.
2.   COSTA, U. S. ; CAMPOS, S. V. A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science, 2005.
Livros publicados/organizados ou edições
1. MOREIRA, A. M. (Org.) ; COSTA, U. S. (Org.) . IV Workshop Técnico Científico do DIMAp - Artigos Selecionados. Natal (Brazil): EDUFRN - Editora da UFRN, 2006. 184 p.
Trabalhos completos publicados em anais de congressos
1.   COSTA, U. S. ; MEDEIROS JUNIOR, I. S. ; OLIVEIRA, M. V. M. . Specification and Verification of a MPI Implementation for a MP-Soc. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), 2010, Natal. Theoretical Aspects of Computing - ICTAC 2010 (LNCS). Heidelberg : Springer, 2010. v. 6255. p. 168-183.
2.   COSTA, U. S. ; MOREIRA, A. M. ; MUSICANTE, Martin A. ; SOUZA NETO, Placido A. . Specification and Runtime Verification of Java Card Programs. In: Brazilian Symposium on Formal Methods (SBMF), 2008, Salvador. Proceedings of the Brazilian Symposium on Formal Methods, 2008.
3. COSTA, U. S. ; CAMPOS, S. V. A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2004, Recife. Anais do Simpósio Brasileiro de Métodos Formais, 2004. p. 217-232.
4. COSTA, U. S. ; MOREIRA, A. M. ; DEHARBE, D. B. P. . Advances in BDD reduction using Parallel Genetic Algorithms. In: IEEE 10th International Workshop on Logic & Synthesis, 2001, Gralibakken. Handouts of the IEEE 10th International Workshop on Logic & Synthesis, 2001. p. 84-90.
5. COSTA, U. S. ; MOREIRA, A. M. ; DEHARBE, D. B. P. . A cache-based parallel genetic algorithm for the BDD variable ordering problem. In: Symposium on Computer Architecture and High Performance Computing ( SBAC-PAD), 2000, São Pedro (SP). Anais do SBAC-PAD'2000, 2000. p. 99-104.
6. COSTA, U. S. ; DEHARBE, D. B. P. ; MOREIRA, A. M. . Variable Ordering of BDDs with Parallel Genetic Algorithms. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2000, Las Vegas (USA). Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. II. p. 1181-1186.
Resumos expandidos publicados em anais de congressos
1. COSTA, U. S. ; SILVA, T. M. . STORM MPI: Message-Passing on MP-SoC. In: Latin American SystemC Users Group, 2007, Rio de Janeiro. Drafts of the Latin American SystemC Users Group, 2007.
Artigos aceitos para publicação
1.   da Costa, Umberto Souza ; Moreira, Anamaria Martins ; MUSICANTE, Martin A. ; Souza Neto, Plácido A. . JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming (Print), 2010.
Produção técnica
Trabalhos técnicos
1. COSTA, U. S. ; MOREIRA, A. M. ; MAIA, P. F. . Anais do IV Workshop Técnico Científico do DIMAp. 2005.
Demais tipos de produção técnica
1. COSTA, U. S. . 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). 2011. ((revisor externo)).
2. COSTA, U. S. . Brazilian Symposium on Formal Methods (SBMF 2006). 2006. ((revisor externo)).
3. COSTA, U. S. . Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). 2005. ((revisor externo)).

Bancas
Participação em bancas examinadoras
Dissertações
1. SANTOS, A. L. M.; COSTA, U. S.; BORBA, P. H. M.. Participação em banca de Fernando Henrique Calheiros Lopes. Optimizing AspectJ for Java ME Software Product Lines. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
Trabalhos de Conclusão de Curso de graduação
1. LEITE, J. C.; COSTA, U. S.; CAMPOS, A. M. C.. Participação em banca de Marcelo de B. Barbosa. EUPAT FORWOW: um estudo sobre programação por usuário final e interfaces programáveis em jogos. 2010. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
2. COSTA, U. S.; OLIVEIRA, M. V. M.; GOMES, B. E. G.. Participação em banca de Ivan Soares de Medeiros Júnior. Especificação e Verificação de uma Implementação MPI para MP-SoC. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
3. COSTA, U. S.; KULESZA, U.; LEITE, J. C.. Participação em banca de Beremiz Reno Cavalcanti Rodrigues de Macedo. Especificação e Implementação de G-Portugol OO: uma Linguagem de Programação OO para Iniciantes. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
4. COSTA, U. S.; ROCHA, B. P. F. D.; SILVA, I. S.. Participação em banca de Leonardo César Teonácio Bezerra. Desenvolvimento de um Gerenciador de Processos para a Plataforma STORM. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
5. DELICATO, F. C.; SILVA, I. S.; COSTA, U. S.. Participação em banca de Larissa Pinheiro Spinelli. Zandra: um Componente de Segurança Adaptativa para o Prometheus. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
6. MUSICANTE, Martin A.; COSTA, U. S.; DELICATO, F. C.. Participação em banca de Samuel Lincoln Magalhães Barrocas. Geração de Código de Grafos de Dependências para PEWS. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
7. CAMPOS, A. M. C.; CARVALHO, B. M.; COSTA, U. S.. Participação em banca de Klidson Ricardo de Lira Fernandes. Desenvolvimento de uma API para jogos de RPG para celulares. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
8. MOREIRA, A. M.; COSTA, U. S.; LEITE, J. C.. Participação em banca de Dhalmo Krause de Almeida. Reengenharia da Ferramenta FERUS. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
9. CAMPOS, A. M. C.; CARVALHO, B. M.; COSTA, U. S.. Participação em banca de Klidson Ricardo de Lira Fernandes. EXPAMB: Uma Biblioteca de Classes para Jogos em Celulares (Aplicação a Jogos de RPGs). 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
10. SILVA, I. S.; GOLDBARG, E. F. G.; COSTA, U. S.. Participação em banca de Tássia Aparecida Vieira de Freitas. Desenvolvimento de Aplicações da Indústria do Petróleo e Gás Natural em uma Plataforma MP-SOC. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
11. SILVA, I. S.; RAMOS, K. D. N.; COSTA, U. S.. Participação em banca de Bruno Cruz de Oliveira. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto do Diretório. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
12. SILVA, I. S.; RAMOS, K. D. N.; COSTA, U. S.. Participação em banca de Gustavo Girão Barreto da Silva. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto da Cache. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
Participação em bancas de comissões julgadoras
Concurso público
1. COSTA, U. S.; BONATES, T. O. E.; SANTIAGO, J. S.. Concurso Público para Professor Efetivo na Disciplina de Algoritmos, Programação e Estrutura de Dados. 2011. Universidade Federal Rural do Semiárido.
2. CASTRO, A. F.; CAZILLO, D. S. S.; COSTA, U. S.. Concurso Público para Docentes das Disciplinas: Informática Aplicada, Programação Aplicada a Engenharia. 2010. Universidade Federal Rural do Semiárido.
3. OLIVEIRA, A. S.; COSTA, U. S.; SANTIAGO, J. S.. Concurso Público para Docentes da Disciplina de Construção de Compiladores. 2009. Universidade Federal Rural do Semiárido.
4. COSTA, U. S.; SANTIAGO, J. S.; CASTRO, A. F.. Concurso Público para Docentes da Disciplina Análise de Algoritmos: Informática Aplicada e Programação Aplicada à Engenharia. 2008. Universidade Federal Rural do Semiárido.
5. CAMPOS, A. M. C.; SOUTO, M. C. P.; COSTA, U. S.; CARVALHO, B. M.. Processo Seletivo Simplificado para Professor Substituto. 2006. Universidade Federal do Rio Grande do Norte.

Eventos
Organização de eventos
1. VINCENZI, A. M. ; FEITOSA, M. D. ; COSTA, U. S. . XIX Workshop sobre Educação em Computação (WEI). 2011. (Congresso).
2. COSTA, U. S. . XI Brazilian Symposium on Programming Languages. 2007. (Congresso).
3. COSTA, U. S. . Third International Conference on Graph Transformation (ICGT 2006). 2006. (Congresso).
4. COSTA, U. S. . Brazilian Symposium on Formal Methods (SBMF 2006). 2006. (Congresso).
5. COSTA, U. S. . Ciclo de Palestras do SINEC e WTC DIMAp. 2005. (Outro).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Ítalo Herbert Siqueira Gabriel. Invariantes em Composições de Sistemas Web. Início: 2011. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
Supervisões e orientações concluídas
Trabalho de conclusão de curso de graduação
1. Ivan Soares de Medeiros Júnior. Especificação e Verificação de uma Implementação MPI para MP-SoC. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Umberto Souza da Costa.
2. Beremiz Reno Cavalcanti Rodrigues de Macedo. Especificação e Implementação de G-Portugol OO: uma Linguagem de Programação OO para Iniciantes. 2009. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Umberto Souza da Costa.
3. Leonardo César Teonácio Bezerra. Desenvolvimento de um Gerenciador de Processos para a Plataforma STORM. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte. Orientador: Umberto Souza da Costa.

Outras informações relevantes 
Coordenador do Curso de Bacharelado em Ciência da Computação da UFRN, de janeiro/2009 a agosto/2011..
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 17:05:29