Gabriel Augusto Gonçalves Sobral

Doutorando em ciência da computação na USP, fiz mestrado e gradução também em ciência da computação na UFPR. Durante a graduação desenvolvi algumas atividades na própria universidade como participar do PET Computação, auxiliar na formação complementar de alunos de graduação e fazer iniciação científica em algoritmos. No mestrado apesentei um poster na escola de computação na USP e recentemente tive um artigo aceito no CSBC. E as minhas principais áreas de atuação são em análise de algoritmos e teoria dos grafos.

Informações coletadas do Lattes em 26/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Ciencia da Computacao

2018 - Atual

Universidade de São Paulo
Yoshiko Wakabayashi. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Informática

2015 - 2017

Universidade Federal do Paraná
Título: Biclique aresta coloração por listas,Ano de Obtenção: 2017
André Luiz Pires Guedes.Coorientador: Marina Groshaus. Palavras-chave: Biclique; aresta-selecionabilidade.Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.

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

2007 - 2012

Universidade Federal do Paraná
Título: Aplicação do problema do Caixeiro Viajante num método de construção de Árvores Filogenéticas
Orientador: André Luiz Pires Guedes

Curso técnico/profissionalizante

2003 - 2005

Universidade La Salle - Canoas

Seção coletada automaticamente pelo Escavador

Formação complementar

2011 - 2011

Bioinformática. (Carga horária: 33h). , Faculdade de Medicina de Ribeirão Preto USP, FMRP USP, Brasil.

2008 - 2008

LaTeX. (Carga horária: 8h). , Universidade Federal do Paraná, UFPR, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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: Análise de Algoritmos e Complexidade de Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

Nilce Nazareno da Fonte ; Maria Amélia Sabbag Zainko ; PET Computação ; PET Economia ; PET Engenharia Civil ; PET Engenharia Elétrica ; PET Engenharia Florestal ; PET Engenharia Química ; PET Estatística ; PET Farmáica ; Kelly Cristina Garcia ; PET Geologia ; PET Matemática ; PET Odonto ; PET Química ; SOBRAL, G. A. G. . XII SulPET. 2009. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

Workshop Paulista em Otimização, Combinatória e Algoritmos. 2018. (Encontro).

School of Advanced Science on Algorithms, Combinatorics and Optimization.Study of k-biclique edge-choosability in some graph classes. 2016. (Outra).

International Workshop on Bioinformatics. 2010. (Oficina).

ENECOMP. 2009. (Congresso).

Circuito Paraná de Software Livre. 2008. (Outra).

III Jornada Paranaense dos Grupos PET. 2008. (Encontro).

Latinoware. 2008. (Encontro).

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

André Luis Vignatti

Guedes, A. L. P.VIGNATTI, A. L.CARMO, R. J. S.. Aplicando o Problema do Caixeiro Viajante em um Mẽtodo de Construção de Árvores Filogenéticas. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Murilo Vicente Goncalves da Silva

ALMEIDA, S. M.;DA SILVA, M.V.G.; GUEDES, A. L. P.. Biclique-aresta-coloração por listas. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Renato José da Silva Carmo

GUEDES, A. L. P.; GROSSHAUS, M. E.;CARMO, R.; VIGNATTI, A. L.. Biclique aresta-coloração por listas. 2016. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Renato José da Silva Carmo

GUEDES, A. L. P.Carmo, Renato; VIGNATTI, A. L.. Aplicando o Problema do Caixeiro Viajante num Método de Construção de Árvores Filogenéticas. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Sheila Morais de Almeida

Sheila Morais de Almeida; SILVA, M. V. G.;GUEDES, A. L. P.; GROSHAUS, M. E.. Biclique-aresta-coloração por listas. 2017. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

André Luiz Pires Guedes

GUEDES, A. L. P.VIGNATTI, A. L.CARMO, R. J. S.. Aplicando o Problema do Caixeiro Viajante num Método de Construção de Árvores Filogenéticas. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Yoshiko Wakabayashi

Decomposição de grafos (provisório); Início: 2018; Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

André Luiz Pires Guedes

Biclique aresta-coloração por listas; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: André Luiz Pires Guedes;

André Luiz Pires Guedes

Aplicando o Problema do Caixeiro Viajante num Método de Construção de Árvores Filogenéticas; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Paraná; Orientador: André Luiz Pires Guedes;

André Luiz Pires Guedes

Backtracking; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Paraná; Orientador: André Luiz Pires Guedes;

Marina Esther Groshaus

Bicique aresta-coloração por listas; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Marina Esther Groshaus;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • GUEDES, A. L. P. ; SOBRAL, G. A. G. . Aplicando a técnica de branch and bound para resolver o problema do caixeiro viajante. In: 19 Evento de Iniciação Científica da UFPR, 2011, Curitiba. Livro de Resumos 19 Evento de Iniciação Científica da UFPR. Curitiba: Imprensa da UFPR, 2011. p. 70-70.

  • SOBRAL, G. A. G. ; GUEDES, A. L. P. ; GROSHAUS, M. . Biclique edge-choosability in some classes of graphs. XXX Congresso da Sociedade Brasileira de Computação , 2019.

  • SOBRAL, G. A. G. ; GUEDES, A. L. P. ; GROSHAUS, M. . Study of k-biclique edge-choosability in some graph classes. 2016. (Apresentação de Trabalho/Outra).

Seção coletada automaticamente pelo Escavador

Outras produções

SOBRAL, G. A. G. ; Alexandre de Souza ; Thiago Mendes . Curso de Montagem e Manutenção de Computadores. 2009. (Curso de curta duração ministrado/Extensão).

SOBRAL, G. A. G. ; Alexandre de Souza ; Thiago Mendes . Curso de Construção de Sites. 2009. (Curso de curta duração ministrado/Extensão).

SOBRAL, G. A. G. ; Alexandre de Souza ; Thiago Mendes . Curso de Linux. 2009. (Curso de curta duração ministrado/Extensão).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2009 - 2011

    Aplicar a técnica de branch and bound para resolver problemas combinatórios, Descrição: O estudo sobre técnica de branch and bound e backtracking teve como base o livro Combinatorial Algorithms Generation, Enumeration and Search. Nele foram compreendidos conceitos como são representadas as estruturas combinatórias, classificação de problemas combinatórios e métodos de corte, por restrições ou por funções de bound. Além dos conceitos em si também foram estudados exemplos de como aplicar backtracking e branch and bound para resolver o problema da mochila, cobertura de vértices, clique máxima e do caixeiro viajante. O estudo foi finalizado por escolher um problema combinatório, desenvolver um algoritmo usando branch and bound para resolvê-lo e avaliar o seu desempenho. Nesse caso foi considerado o problema de construir árvores filogenéticas a partir do resultado do alinhamento múltiplo de sequências. Para resolver esse problema foi usado um artigo que demonstra um método de construir a árvore usando uma das ordens circular do alinhamento múltiplo. Por fim desenvolvi um algoritmo que determina a topologia da árvore usando o resultado do alinhamento múltiplo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Gabriel Augusto Gonçalves Sobral - Integrante / André Luiz Pires Guedes - Coordenador., Número de produções C, T & A: 1

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade de São Paulo, Instituto de Matemática e Estatística. , Rua do Matão, Butantã, 05508090 - São Paulo, SP - Brasil, Telefone: (11) 30916135

Seção coletada automaticamente pelo Escavador

Experiência profissional

2009 - 2011

Universidade Federal do Paraná

Vínculo: Iniciação científica, Enquadramento Funcional: Volunátrio, Carga horária: 12

Outras informações:
Na iniciação científica estudei as técnicas de algoritmo backtracking e bracn and bound. Nesse estudo vi como elas podem ser aplicadas para resolver problemas combinatórios como problema da mochila, clique máxima, cobertura de vértices e do caixeiro viajante. Além disso também aprendi algumas formas de avaliar o desempenho de algoritmos de backtracking ou branch and bound.

2009 - 2010

Universidade Federal do Paraná

Vínculo: Aluno de Graduação, Enquadramento Funcional: Bolsista Instrutor, Carga horária: 12, Regime: Dedicação exclusiva.

Outras informações:
O Bolsa instrutor é um programa da Universidade Federal do Paraná que visa complementar a formação em informática dos alunos de graduação da própria instituição. Sob orientação de um professor do departamento de informática alunos dos cursos de ciência da computação e sistema de informação ministram aulas informática básica, HTML+CSS, Linux e LaTeX. Nesse programa eu ajudei a preparar e dar as aulas para as primeiras turmas do programa e mais tarde participei na reformulação dos cursos para se adequarem as necessidades dos alunos.

2008 - 2009

Universidade Federal do Paraná

Vínculo: Aluno de Graduação, Enquadramento Funcional: Bolsista PET, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
O PET(Programa de Eduação Tutorial) é um programa do governo federal vinculado ao MEC, SEsu e uma instituição de ensino suprior que realiza atividades de ensino, pesquisa e extensão. Um grupo PET é composto por um professor tutor e até 12 alunos de graduação. No PET Computação da UFPR participei do projeto de escolas públicas estaduais onde dei aulas de informática básica e difundi informações sobre o curso de ciência da computação em escolas públicas de Curitiba. Trabalhei na feira de cursos e profissões da UFPR orientado as pessoas sobre o curso de ciência da computação. Também participei da III Jornada Paranaense dos Grupos PET e na organização do XII SULPET - Encontro dos grupos PET da região Sul.

Atividades

  • 10/2009 - 07/2011

    Pesquisa e desenvolvimento , Departamento de Informatica - UFPR, ARG(Algorithms Research Group).,Linhas de pesquisa

2017 - 2017

Centro Universitario Campos de Andrade

Vínculo: Professor Visitante, Enquadramento Funcional: Professor, Carga horária: 3

Outras informações:
Ministrei um módulo preparativo para a prova do ENADE onde trabalhei os conteúdos das disciplinas de lógica, matemática discreta, análise de algoritmos e complexidade computacional.

2019 - Atual

Universidade Paulista

Vínculo: Celetista, Enquadramento Funcional: Professor universitário, Carga horária: 3

Outras informações:
Leciono uma disciplina de Estrutura de Dados