Jefferson Luiz Moisés da Silveira

Atualmente cursa o doutorado na Universidade estadual de Campinas (UNICAMP). Tem experiência na área de Ciência da Computação, com ênfase em Algoritmos Aproximados e Teoria da Computação, atuando principalmente nos seguintes temas: Problemas de Empacotamento, Roteamento e Escalonamento.

Informações coletadas do Lattes em 03/02/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciência da Computação

2011 - Atual

Universidade Estadual de Campinas
Eduardo Candido Xavier. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo.

Mestrado em Ciência da Computação

2009 - 2011

Universidade Estadual de Campinas
Eduardo Candido Xavier.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Unloading Constraints; Problemas de Empacotamento; Algoritmos Aproximados.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Algoritmos Aproximados. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Algoritmos.

Graduação em Sistemas de Informação

2005 - 2008

Universidade de Pernambuco
Orientador: Humberto Rocha de Almeida Neto

Formação complementar

2008 - 2008

Banco de dados Orientado a objetos com Oracle. (Carga horária: 4h). , Universidade Estadual da Paraíba.

2008 - 2008

Programação Orientada a Aspectos. (Carga horária: 4h). , Universidade Estadual da Paraíba.

2008 - 2008

MicroTerminais com Windows Embedded com C#.NET. (Carga horária: 4h). , Universidade Estadual da Paraíba.

2007 - 2007

Desenvolvendo aplicações avançadas com C# .NET. (Carga horária: 42h). , Inove informática.

2007 - 2007

Simulando redes com NS-2. (Carga horária: 4h). , Universidade de Pernambuco, UPE, Brasil.

2007 - 2007

CSS e XHTML. (Carga horária: 4h). , Universidade de Pernambuco, UPE, Brasil.

2006 - 2006

Administrador de Redes. (Carga horária: 189h). , Serviço Nacional de Aprendizagem Comercial.

2005 - 2006

Linux Conectiva. (Carga horária: 66h). , Serviço Nacional de Aprendizagem Comercial.

2005 - 2005

XQuery e XPath. (Carga horária: 3h). , Sociedade Brasileira de Computação - Porto Alegre.

2005 - 2005

Programação no .NET 2.0. (Carga horária: 3h). , Sociedade Brasileira de Computação - Porto Alegre.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Algoritmos Aproximados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

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.

Participação em eventos

VI Latin-American Algorithms, Graphs and Optimization Symposium.Two Dimensional Strip Packing with Unloading Constraints. 2011. (Simpósio).

XXVI Congresso Nacional dos Estudantes de Computação - ENECOMP - 2008. 2008. (Congresso).

2º Encontro sobre Bando de Dados, Qualidade, Processo e Gestão de Software. 2008. (Encontro).

Aplicando Redes Neurais. 2007. (Seminário).

1º Encontro de Empresários Juniores de Caruaru. 2007. (Encontro).

SBLP 2005 - 9th Brazilian Symposium on Programming Languages. 2005. (Simpósio).

Produções bibliográficas

  • DA SILVEIRA, JEFFERSON L.M. ; MIYAZAWA, FLÁVIO K. ; XAVIER, EDUARDO C. . Heuristics for the strip packing problem with unloading constraints. Computers & Operations Research , v. 40, p. 991-1003, 2013.

  • SILVEIRA, J. L. M. ; Xavier, E. C. ; Miyazawa, F. K. . Two Dimensional Knapsack with Unloading Constraints. In: VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), 2011, San Carlos de Bariloche. Electronic Notes in Discrete Mathematics, 2011. p. 361-366.

  • SILVEIRA, J. L. M. ; Xavier, E. C. ; Miyazawa, F. K. . Two Dimensional Strip Packing with Unloading Constraints. In: VI Latin-American Algorithms, Graphs and Optimization Symposium, 2011, San Carlos de Bariloche. Electronic Notes in Discrete Mathematics, 2011. p. 367-372.

  • SILVEIRA, J. L. M. ; DIAS, M. P. ; MENEZES, L. C. S. ; Neto, H. R. A. . IS-L: UMA METODOLOGIA PARA CONSTRUÇÃO DE SISTEMAS DE INFORMAÇÃO WEB INTELIGENTES BASEADOS EM PROGRAMAÇÃO LÓGICA. In: IADIS International Conference 2008, 2008, Lisboa. Actas da Conferência IADIS Ibero-Americana WWW/INTERNET 2008, 2008. p. 273-279.

  • SILVEIRA, J. L. M. ; DIAS, M. P. . Utilização de linguagens lógicas no desenvolvimento de sistemas de informação. In: Encontro de Iniciação Científica POLI UPE (2006-2007), 2007, Recife. Anais do encontro de Iniciação Científica POLI UPE (2006-2007), 2007.

  • SILVEIRA, J. L. M. ; Xavier, E. C. ; Miyazawa, F. K. . Algoritmos Aproximados para Problemas de Empacotamento em Faixa com Restrições de Descarregamento. In: VI Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica em Andamento do IC-UNICAMP, 2011, Campinas. Anais do VI Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica em Andamento do IC-UNICAMP, 2011.

  • SILVEIRA, J. L. M. ; Xavier, E. C. ; Miyazawa, F. K. . Two Dimensional Strip Packing with Unloading Constraints. 2011. (Apresentação de Trabalho/Simpósio).

  • SILVEIRA, J. L. M. . CSP e Sistemas de Informação. 2007. (Apresentação de Trabalho/Outra).

Outras produções

SILVEIRA, J. L. M. ; DIAS, M. P. . Construindo Aplicações gráficas com C++. 2007. .

SILVEIRA, J. L. M. ; MENEZES, L. C. S. . RELATÓRIO FINAL DE ATIVIDADES DO ALUNO DE INICIAÇÃO CIENTÍFICA PIBIC/UPE/CNPQ (2006-2007). 2007. (Relatório de pesquisa).

Projetos de pesquisa

  • 2006 - 2007

    Utilização de linguagens lógicas no desenvolvimento de Sistemas de Informação, Descrição: Sistemas de Informação Gerenciais são caracterizados pelo processamento de grandes quantidades de dados, pela necessidade de extração de informações úteis do mesmo e pela apresentação adequada das mesmas. O processo de análise de dados pode ser feito de forma elegante utilizando linguagens de programação lógica. Porém, certos processos do sistema tais como: interação com banco de dados existentes, construção de interfaces amigáveis com o usuário, etc. são tratados de forma mais simples utilizando linguagens de programação convencionais. A utilização de linguagens híbridas pode facilitar o processo de integração dos diferentes módulos de um sistema. Esse projeto visa difundir a utilização de linguagens lógicas através da formação de pessoal qualificado na utilização dessas linguagens e do desenvolvimento de técnicas que permitam a integração de linguagens lógicas em programas tradicionais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Jefferson Luiz Moisés da Silveira - Integrante / Luis Carlos de Sousa Menezes - Coordenador / Mariana Piquet Dias - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Histórico profissional

Experiência profissional

2012 - 2012

Facebook INC.

Vínculo: Intern, Enquadramento Funcional: Software Engineer Intern, Regime: Dedicação exclusiva.

2010 - Atual

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Programa de Estágio Docente, Carga horária: 10

Atividades

  • 02/2011 - 11/2011

    Ensino, Física / Eng.Elétrica, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores

  • 03/2010 - 07/2010

    Ensino, Ciência da Computacão, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores

2005 - 2008

Universidade de Pernambuco

Vínculo: Livre, Enquadramento Funcional: Livre, Carga horária: 8

Atividades

  • 02/2008 - 06/2008

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Monitoria da disciplina de Internet e Sistemas de Informação, Monitoria da disciplina de Paradigmas de Linguagens de Programação, Monitoria da disciplina de Estrururas de Dados e Arquivos

  • 08/2007 - 12/2007

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Monitoria da disciplina de Inteligência Artificial, Monitoria da disciplina de Linguagens de Programação II, Monitoria da disciplina de Projeto Orientado a Objetos

  • 02/2007 - 06/2007

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Monitoria da disciplina de Orientação a Objetos no Desenvolvimento de Software

  • 02/2006 - 06/2006

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Monitoria da disciplina de Linguagens de Programação I

  • 07/2005 - 11/2005

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Monitoria da disciplina de Lógica de Programação e Algoritmos I

2008 - 2008

Unimed Caruaru

Vínculo: Estagiário, Enquadramento Funcional: Estagiário programação e suporte, Carga horária: 30