Leonardo Xavier Teixeira Cardoso

  • Endereço para acessar este CV: http://lattes.cnpq.br/5867294901335084
  • Última atualização do currículo em 02/03/2009


Possui graduação em Ciência da Computação pela Universidade Federal de Ouro Preto(2003) e mestrado em Pós-Graduação em Computação da UFF pela Universidade Federal Fluminense(2006). Atualmente é Analista de Sistemas da Automatos Tecnologia da Informação. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Computação Ubíqua, Processamento Paralelo, Processamento Distribuído, Arquitetura de Software, Computação Movel. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Leonardo Xavier Teixeira Cardoso
Nome em citações bibliográficas
CARDOSO, Leonardo Xavier Teixeira


Formação acadêmica/titulação


2004 - 2006
Mestrado em Pós-Graduação em Computação da UFF.
Universidade Federal Fluminense, UFF, Brasil.
Título: Integração de Serviços de Monitoração e Descoberta de Recursos a um Suporte para Arquiteturas Adaptáveis de Software,Ano de Obtenção: 2006.
Orientador: Orlando Gomes Loques.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro.
Palavras-chave: Computação Ubíqua; Processamento Paralelo; Processamento Distribuído; Arquitetura de Software; Computação Movel.
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.
2000 - 2003
Graduação em Ciência da Computação.
Universidade Federal de Ouro Preto, UFOP, Brasil.




Atuação Profissional



Automatos Tecnologia da Informação, AUTOMATOS, Brasil.
Vínculo institucional

2006 - Atual
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.


Serviço Federal de Processamento de Dados, SERPRO, Brasil.
Vínculo institucional

2005 - 2006
Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
CARDOSO, Leonardo Xavier Teixeira2006 CARDOSO, Leonardo Xavier Teixeira; SZTAJNBERG, A. ; LOQUES, Orlando Gomes . Self-adaptive Applications using ADL Contracts. Lecture Notes in Computer Science, v. 3996, p. 87-101, 2006.

2.
SOUZA, M. J. F2004 SOUZA, M. J. F ; CARDOSO, Leonardo Xavier Teixeira ; SILVA, Gustavo Peixoto ; RODRIGUES, Margarida Maria Silva ; MAPA, Silvia Maria Santana . Metaheurísticas Aplicadas ao Problema de Programação de Tripulações no Sistema de Transporte Público.. TEMA. Tendências em Matemática Aplicada e Computacional, v. 5, p. 357-368, 2004.

Capítulos de livros publicados
1.
SZTAJNBERG, A. ; CORRADI, Alexsandro Mattos ; SANTOS, André Luiz G. dos ; BARROS, Flávio Alencar Do Rêgo ; CARDOSO, Leonardo Xavier Teixeira ; LOQUES, Orlando Gomes . . Especificação e Suporte de Requisitos Não-Funcionais para Serviços de Nível Alto. Francisco Vilar Brasileiro; Rossana Maria de Castro Andrade; Joaquim Celestino Junior. (Org.). 23o Simpósio Brasileiro de Redes de Computadores, Minicursos - Livro Texto. Fortaleza, CE: SBC, UFPE, 2005, v. , p. 223-279.

Trabalhos completos publicados em anais de congressos
1.
CARDOSO, Leonardo Xavier Teixeira; SZTAJNBERG, A. ; LOQUES, Orlando Gomes . Proposta de uma infra-estrutura de suporte para serviços de contexto e descoberta de recursos. In: WSO 2007 - IV Workshop de Sistemas Operacionais, 2007, Rio de Janeiro. XXVIII Congresso da SBC - Anais do WSO 2007. Rio de Janeiro: SBC / IME, 2007. v. 1. p. 875-886.

2.
CARDOSO, Leonardo Xavier Teixeira; SZTAJNBERG, A. ; LOQUES, Orlando Gomes . Provendo aplicações com requisitos não-funcionais dinâmicos através de contratos.. In: SBRC 2006 - 24o Simpósio Brasileiro de Rede de Computadiores, 2006, Curitiba. Anais do 24o Simpósio Brasileiro de Rede de Computadores (SBRC 2006). Curitiba: SBC (Carlos Alberto Mazieiro, Ed.), 2006. v. I. p. 655-685.

3.
SOUZA, M. J. F ; CARDOSO, Leonardo Xavier Teixeira ; SILVA, Gustavo Peixoto . Programação de tripulações ônibus urbano: uma abordagem heurística.. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. XXXV SBPO. Rio de Janeiro: SOBRAPO, 2003. p. 1285-1294.

Resumos publicados em anais de congressos
1.
SOUZA, M. J. F ; CARDOSO, Leonardo Xavier Teixeira ; SILVA, Gustavo Peixoto ; RODRIGUES, Margarida Maria Silva ; MAPA, Silvia Maria Santana . Metaheurísticas Aplicadas ao Problema de Programação de Tripulações no Sistema de Transporte Público.. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto. Anais do XXVI CNMAC. São José do Rio Preto: SBMAC, 2003. v. 1. p. 576-576.

2.
CARDOSO, Leonardo Xavier Teixeira; SOUZA, M. J. F ; SILVA, Gustavo Peixoto . Um modelo heurístico híbrido baseado em GRASP e Busca Tabu para o problema de programação de tripulações. In: Simpósio de Pesquisa e Iniciação Científica da UNIVALE, 2003, Governador Valadares. Anais do Simpósio de Pesquisa e Iniciação Científica. Governador Valadares: Editora UNIVALE, 2003. p. 77-77.

3.
CARDOSO, Leonardo Xavier Teixeira; SOUZA, M. J. F ; SILVA, Gustavo Peixoto . Elaboração de escalas de motoristas e cobradores de ônibus urbano via Busca Tabu. In: XI Seminário de Iniciação Científica da Universidade Federal de Ouro Preto, 2003, Ouro Preto. Anais do XI SIC-UFOP. Ouro Preto: UFOP, 2003. p. 700-700.

Outras produções bibliográficas
1.
SZTAJNBERG, A. ; BARROS, Flávio Alencar Do Rêgo ; CORRADI, Alexsandro Mattos ; CARDOSO, Leonardo Xavier Teixeira ; SANTOS, André Luiz G. dos ; LOQUES, Orlando Gomes . Especificação e Suporte de Requisitos Não-Funcionais para Serviços de Nível Alto 2005 (Curso de curta duração ministrado/Extensão).




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 4:26:02