Gabriel Augusto Gonçalves Sobral
Sou Doutor em Ciência da Computação pela Universidade de São Paulo (2024), Mestre (2017) e Bacharel (2012) em Ciência da Computação pela Universidade Federal do Paraná. Minha pesquisa se concentra em algoritmos, teoria da computação e problemas combinatórios, com publicações sobre códigos de identificação em grades hexagonais, coloração de arestas em bicliques e aplicações de backtracking e branch and bound. Atuei como professor de graduação, lecionando disciplinas de ciência dos dados, programação dinâmica, estrutura de dados e banco de dados. Tenho interesse em pesquisa e ensino em algoritmos, otimização e ciência de dados.
Informações coletadas do Lattes em 24/09/2025
Acadêmico
Formação acadêmica
Doutorado em Ciencia da Computacao
2018 - 2024
Universidade de São Paulo
Título: Códigos de Identificação de Densidade Mínima na Grade Hexagonal com Número Finito de Linhas
Yoshiko Wakabayashi. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Código de Identificação; Grade Hexagonal; Densidade Mínima.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
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.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Russo
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Razoavelmente.
Á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.
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).
Participação em eventos
Workshop Paulista em Otimização, Combinatória e Algoritmos. 2019. (Encontro).
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).
Produções bibliográficas
-
SAMPAIO, RUDINI ; SOBRAL, GABRIEL A. G. ; WAKABAYASHI, YOSHIKO . Minimum Density of Identifying Codes of Hexagonal Grids with a Finite Number of Rows. In: Encontro de Teoria da Computação, 2022, Brasil. Anais do VII Encontro de Teoria da Computação (ETC 2022), 2022. p. 145.
-
SOBRAL, GABRIEL A. G. ; GROSHAUS, MARINA ; GUEDES, ANDRÉ L. P. . Biclique edge-choosability in some classes of graphs. In: Encontro de Teoria da Computação, 2017, Brasil. Anais do II Encontro de Teoria da Computação (ETC 2017), 2017. p. 104.
-
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.
-
SAMPAIO, RUDINI M. ; SOBRAL, GABRIEL A.G. ; WAKABAYASHI, YOSHIKO . Density of identifying codes of hexagonal grids with finite number of rows. RAIRO-OPERATIONS RESEARCH , 2024.
-
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).
-
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).
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 de 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
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
Experiência profissional
2024 - 2024
FIAP - Centro UniversitárioVínculo: Celetista, Enquadramento Funcional: Professor de graduação
Atividades
-
08/2024 - 12/2024
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas ministradas, Estatística e Ciência dos Dados, Programação Dinâmica
2019 - 2022
Universidade PaulistaVínculo: Celetista, Enquadramento Funcional: Professor universitário, Carga horária: 3
Atividades
-
08/2019 - 12/2022
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Estrutura de Dados, Introdução a Programação Estruturada, Banco de Dados, Paradigmas de Linguagens de Programação
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 o 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 AndradeVí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.
Atividades
-
07/2017 - 09/2017
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Módulo Preparatório para o ENADE
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Gabriel Augusto Gonçalves Sobral 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?