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
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
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 CampinasVí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 PernambucoVí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 CaruaruVínculo: Estagiário, Enquadramento Funcional: Estagiário programação e suporte, Carga horária: 30
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Jefferson Luiz Moisés da Silveira e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?