Davi Colli Tozoni
Possui graduação em Engenharia de Computação pela Universidade Estadual de Campinas(2010). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:Problema da Galeria de Arte, Otimização Combinatória, Geometria Computacional.
Informações coletadas do Lattes em 04/10/2022
Acadêmico
Formação acadêmica
Mestrado em andamento em Ciência da Computação
2011 - Atual
Universidade Estadual de Campinas
Coorientador: Pedro Jussieu de Rezende. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Problema da Galeria de Arte; Otimização Combinatória; Geometria Computacional.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Produções bibliográficas
-
Tozoni, D. C. ; de Rezende, P. J. ; de Souza, C. C. . The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm. In: 12th International Symposium on Experimental Algorithms, 2013, Roma. Experimental Algorithms, 2013. v. 7933. p. 320-336.
Projetos de pesquisa
-
2009 - 2010
Uma Abordagem para o Problema do Escalonamento de Produtos Derivados do Petróleo em Uma Malha de Dutos, Descrição: Este projeto de iniciação científica abordou um problema de escalonamento de planos de produtos derivados do petróleo em uma malha de dutos, objetivando a economia de recursos humanos e financeiros. A estratégia adotada para tanto baseia-se na utilização da meta-heurística GRASP e de algumas de suas extensões: melhorias no procedimento, estratégias de pós-otimização e de paralelização cooperativa. Ademais, a PETROBRAS atuou diretamente no projeto, fornecendo instâncias e qualificando os resultados obtidos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Davi Colli Tozoni - Integrante / Arnaldo Vieira Moura - Coordenador / Cid Carvalho de Souza - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
Prêmios
2010
Prêmio Von Neumann, Instituto de Computação - Unicamp (IC-Unicamp).
2010
Formação com Grande Distinção, Instituto de Computação - Unicamp (IC-Unicamp).
2010
Prêmio Formação Profissional, Conselho Regional de Engenharia, Arquitetura e Agronomia do Estado de São Paulo (CREA-SP).
2010
Aluno Destaque, Sociedade Brasileira de Computação (SBC).
2010
Prêmio Instituto de Engenharia, Instituto de Engenharia (IE).
2010
Honra ao Mérito, Conselho Regional de Engenharia, Arquitetura e Agronomia do Estado de São Paulo (CREA-SP).
2009
Prêmio Melhor Iniciação Científica, Instituto de Computação - Unicamp (IC-Unicamp).
Histórico profissional
Experiência profissional
2011 - 2012
Kryptus Segurança da Informação Ltda.Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de software, Carga horária: 30
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Davi Colli Tozoni 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?