Vagner Pedrotti

Possui graduação em Ciência da Computação pela Universidade Estadual de Campinas (2004), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2007) e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2011). Atualmente é professor adjunto da Universidade Federal de Mato Grosso do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: decomposição módular, teoria dos grafos, algoritmos de computadores, grafos p4-tidy e otimização combinatória.

Informações coletadas do Lattes em 14/11/2022

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2007 - 2011

Universidade Estadual de Campinas
Título: Problemas em grafos com poucos P4's e em grafos indiferença
Célia Picinin de Mello. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Decomposição módular; Teoria dos grafos.Grande área: Ciências Exatas e da Terra

Mestrado em Ciência da Computação

2005 - 2007

Universidade Estadual de Campinas
Título: Decomposição modular de grafos não-orientados, Ano de Obtenção: 2007
Célia Picinin de Mello.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Decomposição módular; Teoria dos grafos; Otimização combinatória.Grande área: Ciências Exatas e da TerraGrande Á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.

Graduação em Ciência da Computação

2001 - 2004

Universidade Estadual de Campinas

Pós-doutorado

2020 - 2021

Pós-Doutorado. , Università di Bologna, UNIBO, Itália.

Áreas de atuação

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

Participação em eventos

XI Latin and American Algorithms, Graphs and Optimization Symposium.A new formulation for the Weighted Safe Set Problem. 2021. (Simpósio).

Latin American Workshop on Cliques in Graphs. Adjacent vertex-distinguishing total coloring of indifference graphs. 2010. (Congresso).

8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. 2009. (Congresso).

LAGOS'09 - V Latin-American Algorithms, Graphs and Optimization Symposium.Minimal separators in P4-tidy graphs. 2009. (Simpósio).

Cologne Twente Workshop on Graphs and Combinatorial Optimization. 2008. (Congresso).

IV Workshop de teses de doutorado em andamento do IC-UNICAMP.Kr-packing of P4-tidy graphs. 2008. (Simpósio).

Tercer Taller Latinoamericano de Clanes en Gráficas. Kr-packing of P4-sparse graphs. 2008. (Congresso).

IV Latin-American Algorithms, Graphs and Optimization Symposium. 2007. (Simpósio).

19th International Symposium on Mathematical Programming. 2006. (Congresso).

Second Latin-American Workshop on Cliques in Graphs. 2006. (Congresso).

Participação em bancas

Aluno: Delair Osvaldo Martinelli Júnior

CARVALHO, M. H.;PEDROTTI, V.; BRACHT, E. C.. Uma caracterização de bricks cúbicos PM-compactos. 2021. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Edison Gabriel Gonçalves Borghezan

MARTINEZ, F. H. V.; MONGELLI, H.; HOSHINO, E. A.;Pedrotti, Vagner. O problema da coloração com pesos e restrição de cores. 2020. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Arthur Lemos Nogueira Filho

IAIONE, F.;PEDROTTI, V.. Desenvolvimento de módulo de hardware e bootloader para o microcontrolador C8051F320. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Mato Grosso do Sul.

Aluno: Lucas Tsutsui da Silva

IAIONE, F.;PEDROTTI, V.. Sistema para monitoramento e controle do ciclo de carga/descarga da bateria de notebooks. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Mato Grosso do Sul.

Comissão julgadora das bancas

Christiane Neme Campos

Klein, S.; Lee, O.;Campos, C. N.Mello, C. P.. Decomposição Modular de Grafos não Orientados. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Orlando Lee

MELLO, C. P.; KLEIN, Sulamita;LEE, O.. Decomposição Modular de Grafos Não Orientados. 2007 - Instituto de Computação - UNICAMP.

Flávio Keidi Miyazawa

C. P. Mello; C. L. Sales; S. Klein; O. Lee;F. K. Miyazawa. Problemas em Grafos com Poucos P4's e em Grafos Indiferença. 2011. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Simone Dantas de Souza

DANTAS, S.; MELLO, C. P.. Decomposição modular de grafos. 2005. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade Estadual de Campinas.

Orientou

Edison Gabriel Gonçalves Borghezan

Problema da coloração de vértices com pesos dissonantes e restrições de cores; Início: 2019; Dissertação (Mestrado profissional em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; (Coorientador);

Glasielly Demori Proença

Solução de Problemas em Grafos através da Lógica Monádica de Segunda Ordem e da Decomposição em Árvore; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Vagner Pedrotti;

Arthur Frederico Neves

Sistema de comunicação sem fio de curto alcance e baixo custo; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Vagner Pedrotti;

Jainor Souza Ribeiro da Cunha

Leandro José de Bortoli

Sistema de Rastreamento de VeÃculo na Arquitetura Android; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Vagner Pedrotti;

Antônio Carlos Pacheco Rui Dias

Avaliação de Algoritmos de Compactação com Dicionário Externo; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Vagner Pedrotti;

Nícolas Roque dos Santos

Um Eestudo de Caso do Problema de Roteamento de Veículos com Entregas Particionadas; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Vagner Pedrotti;

Natan de Oliveira Leite

Análise e Experimentação do Algoritmo de Empacotamento de Cliques em Cografos; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Mato Grosso do Sul; Orientador: Vagner Pedrotti;

Foi orientado por

Célia Picinin de Mello

Decomposição modular em grafos; 2007; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Celia Picinin de Mello;

Célia Picinin de Mello

Problemas em grafos com poucos P4's e grafos indiferença; 2011; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Celia Picinin de Mello;

Produções bibliográficas

MALAGUTI, ENRICO ; Pedrotti, Vagner . A new formulation for the Weighted Safe Set Problem. PROCEDIA COMPUTER SCIENCE , v. 195, p. 508-515, 2021.
PEDROTTI, V. ; de Mello, Célia Picinin . Minimal separators in extended -ladengraphs. Discrete Applied Mathematics , v. 160, p. 2769-2777, 2012.
PEDROTTI, V. ; MELO, C. P. . Adjacent-vertex-distinguishing total coloring of indifference graphs. Matemática Contemporânea , v. 39, p. 101-110, 2011.
MATSUBARA, E. T. ; PEDROTTI, V. . Robô Polar. In: Edson Takashi Matsubara; Ricardo Ribeiro dos Santos. (Org.). Interciências: Despertando Talentos em Computação. 1ed.Campo Grande: UMFS, 2014, v. , p. 59-76.
PEDROTTI, V. ; MELO, C. P. . Minimal separators in P4-tidy graphs. In: LAGOS'09 - V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, 2009. v. 35. p. 71-76.
PEDROTTI, V. ; MELO, C. P. . Kr-packing of P4-tidy graphs. In: IV Workshop de teses de doutorado em andamento do IC-UNICAMP, 2008. Anais do 4 Workshop de teses de doutorado em andamento do IC-UNICAMP, 2008. v. 25. p. 36-39.
MALAGUTI, E. ; PEDROTTI, V. . A new formulation for the Weighted Safe Set Problem. 2021. (Apresentação de Trabalho/Simpósio).
Pedrotti, Vagner . Problemas em Grafos com Poucos P4s e em grafos indiferença. Campinas: Universidade Estadual de Campinas, 2011 (Tese de Doutorado).
PEDROTTI, V. ; MELO, C. P. . Kr-packing of P4-tidy graphs. Campinas: Universidade Estadual de Campinas, 2009 (Relatório Técnico).
PEDROTTI, V. ; MELO, C. P. . Decomposição modular de grafos não-orientados. Campinas, SP: Universidade Estadual de Campinas, 2007 (Dissertação de Mestrado).

Outras produções

PEDROTTI, V. . ETC 2021 ? VI Encontro de Teoria da Computação. 2021.

PEDROTTI, V. . WPCCG 2021 - 4 Workshop de Pesquisa em Computação dos Campos Gerais. 2021.

Projetos de pesquisa

2017 - Atual

Análise de Algoritmos para Problemas de Otimização em Grafos usando Decomposição em Árvore e Modular, Descrição: A solução de problemas de otimização em grafos é uma técnica frequentemente utilizada para a melhoria de processos, cujos objetivos são redução de custos, tempo ou outros recursos envolvidos. Entretanto, muitos dos problemas de interesse prático são modelados por problemas em grafos que se mostram computacionalmente complexos (NP-difícies) e os algoritmos genéricos são inviáveis para a solução dos mesmos. Para contornar esta dificuldade, a pesquisa se concentrou em propor alternativas, sejam elas algoritmos mais eficientes para classes específicas de grafos que espera-se sejam comuns nas instâncias da aplicação; o uso de heurísticas que, de alguma forma, acelerem a solução do problema; algoritmos aproximados e probabilísticos, ou simplesmente, heurísticas. Neste contexto, este projeto de pesquisa deseja-se estudar ao menos dois problemas com diferentes abordagens. O primeiro é a pesquisa por heurísticas para acelerar a solução de problemas de otimização em grafos que consistem em encontrar um subconjunto ótimo de vértices om uma propriedade especificada. O segundo é o uso da decomposição modular em classes especiais de grafos para solução de alguns problemas de otimização. Como um subproblema do primeiro deles, deseja-se avaliar soluções heurísticas para encontrar uma decomposição em árvore de um grafo minimizando o tamanho de cada nó. Tal decomposição é utilizada omo entrada do primeiro problema.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Vagner Pedrotti - Coordenador / Glasielly Demori Proença - Integrante.
2016 - Atual

Algoritmos exatos para variantes do problema dos m-anéis-estrelas capacitados, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Vagner Pedrotti - Coordenador / Edna Ayako Hoshino - Integrante.
2016 - Atual

Programação linear inteira aplicada a problemas de biologia computacional, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) . , Integrantes: Vagner Pedrotti - Coordenador / Edna Ayako Hoshino - Integrante / Said Sadique Adi - Integrante / Graziela Santos de Araújo - Integrante.

Histórico profissional

Endereço profissional

Universidade Federal de Mato Grosso do Sul. , Rua UFMS, Cidade Universitária, 79079900 - Campo Grande, MS - Brasil - Caixa-postal: 549, Telefone: (67) 33457533, URL da Homepage:

Experiência profissional

2011 - Atual

Universidade Federal de Mato Grosso do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

2011 - 2011

Universidade Federal de Mato Grosso do Sul

Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

02/2014
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação, Teoria dos Grafos e Seus Algoritmos, Sistemas Operacionais
08/2013 - 01/2018
Direção e administração, Reitoria da Universidade Federal de Mato Grosso do Sul, Campus de Campo Grande.,Cargo ou função, Coordenador do Curso de Engenharia de Computação.