Ricardo Tavares de Oliveira

Possui doutorado em Ciência da Computação pela Universidade Federal do Paraná (2013-2017), mestrado em Informática pela Universidade Federal do Paraná (2011-2013), e graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Paraná (2007-2010). Pesquisa nas áreas de Inteligência Artificial, com ênfase em problemas relacionados às lógicas clássicas e à satisfabilidade booleana, assim como reduções de problemas relevantes da área de Algoritmos. Atualmente, é professor adjunto da Universidade Tecnológica Federal do Paraná (UTFPR) - campus Toledo.

Informações coletadas do Lattes em 12/06/2024

Acadêmico

Formação acadêmica

Doutorado em Informática

2013 - 2017

Universidade Federal do Paraná
Título: Arco Consistência Generalizada em Codificações SAT Relativas
, Ano de obtenção: 2017. Fabiano Silva. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Informática

2011 - 2013

Universidade Federal do Paraná
Título: Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT Não Clausal para as Instâncias Obtidas
, Ano de Obtenção: 2013.Fabiano Silva.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

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

2007 - 2010

Universidade Federal do Paraná
Título: Estudo e Comparação de Técnicas Utilizadas em Resolvedores MaxSAT
Orientador: Fabiano Silva

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Organização de eventos

OLIVEIRA, RICARDO TAVARES DE . Diretor da etapa regional da Maratona SBC de Programação 2023 - sede Toledo. 2023. .

Tavares de Oliveira, Ricardo . Delegado da XIX Olimpíada Brasileira de Informática (OBI) da Universidade Federal do Paraná (UFPR). 2017. .

Tavares de Oliveira, Ricardo . Delegado da XVIII Olimpíada Brasileira de Informática (OBI) da Universidade Federal do Paraná (UFPR). 2016. .

Guedes, André ; Tavares de Oliveira, Ricardo . Co-Diretor da etapa regional da Maratona de Programação - sede Curitiba. 2015. .

Participação em eventos

2014 Brazilian Conference on Intelligent Systems (BRACIS). SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem. 2014. (Congresso).

Participação em bancas

Aluno: Guilherme Alex Derenievicz

Silva, Fabiano; DIRENE, A.; Castilho, Marcos A.;Ricardo Tavares de Oliveira. Satisfabilidade Booleana Aplicada à Otimização Não Linear. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Paraná.

Aluno: Felipe de Souza Reis

PAETZOLD, G. H.; OLIVEIRA, M. Z.;OLIVEIRA, RICARDO TAVARES DE; JERONYMO, D. C.. Desenvolvimento de um Interpretador de Expressões de Teoria dos Conjuntosc para Fins Didáticos. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: GABRIEL ALEXANDRE DE SOUZA BRAGA

MATHIAS, L. C.; SOUZA, A. R. C. E.; JERONYMO, D. C.;OLIVEIRA, RICARDO TAVARES DE. Métodos Heurísticos de Localização pela Potência do Sinal Óptico Recebido. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Adriano Aragão dos Santos

JERONYMO, D. C.; PAETZOLD, G. H.;de OLIVEIRA, R. T.; NOVAES, P. J. D.. Implementação de Agentes Autônomos para Geração Automática e Variável de Cenários de Jogos de RPG utilizando Goal Oriented Action Planning (GOAP). 2021 - Universidade Tecnológica Federal do Paraná.

Aluno: Felipe Augusto Stark

JERONYMO, D. C.; PAETZOLD, G. H.;de OLIVEIRA, R. T.. Modelagem baseada em grafos para sistemas de controle descritos por espaços de estados. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Lucas Francesco Piccioni

SALAZAR, A.; PAETZOLD, G. H.; MARTINS, J.;de OLIVEIRA, R. T.. Harmonização Musical Automática Baseada em Redes Neurais Artificiais. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.

Aluno: Paulo Guilherme Inça e Rodrigo Camargo Reis

Carmo, Renato; Silva, Fabiano;Tavares de Oliveira, Ricardo. Estimativa on-line de tempo de execução para algoritmos de branch-and-bound. 2017. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Marco Antonio Pio Mendes

Guedes, André; CARMO, R.;Tavares de Oliveira, Ricardo. Alianças em Grafos. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Gustavo Gasparetto Higuchi

Carmo, Renato; Zuge, Alexandre;Ricardo Tavares de Oliveira. Refinamentos de um Limitante de Algoritmos "Branch and Bound" para o Problema da Clique Máxima. 2016. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Pietro Lucas Agner Garmatter

Castilho, Marcos A.; Silva, Fabiano;Tavares de Oliveira, Ricardo. Estudo e Implementação de Sistema de Inferência Linear em Sistema Baseado em Conhecimento. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Bruno Nocera Zanette

Silva, Fabiano; Zola, Wager;Tavares de Oliveira, Ricardo. Conversão de algoritmos de processamento de dados meteorológicos de C para CUDA. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Aramis Stach Haiduski Fernandes

Carmo, Renato; Guedes, André;Tavares de Oliveira, Ricardo. Um algoritmo parametrizado para calcular o Conjunto Independente de peso Máximo de um Grafo. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

Aluno: Adriano da Luz

Bona, Luis C.E.; Zola, Wager;Tavares de Oliveira, Ricardo. Alocação Elástica de Recursos por Meio de Chamadas de Sistema. 2013. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

SCHEMBERGER, E. E.; PAETZOLD, G. H.;de OLIVEIRA, R. T.. Processo Seletivo para Professor Substituto - Edital 004/2019-PS-TD. 2019. Universidade Tecnológica Federal do Paraná.

SPANHOL, F. A.; FAVARIM, F.;de OLIVEIRA, R. T.. Concurso Público para Professor do Magistério Superior UTFPR-TD, Edital 024/2018 - CPCP - TD. 2018. Universidade Tecnológica Federal do Paraná.

Ricardo Tavares de Oliveira; PAETZOLD, G. H.; ANDRADE, S. C.. Processo Seletivo para Professor Substituto - Edital 001/2023-PS-TD. 2023. Universidade Tecnológica Federal do Paraná.

OLIVEIRA, RICARDO TAVARES DE; PAETZOLD, G. H.; ENSINA, L. A.. Processo Seletivo para Professor Substituto - Edital 003/2023-PS-TD. 2023. Universidade Tecnológica Federal do Paraná.

JERONYMO, D. C.; SCHEMBERGER, E. E.;Ricardo Tavares de Oliveira. Processo Seletivo para Professor Substituto - Edital 001/2022-PS-TD. 2022. Universidade Tecnológica Federal do Paraná.

Produções bibliográficas

Tavares de Oliveira, Ricardo ; Silva, Fabiano . On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs. In: Mexican International Conference on Artificial Intelligence (MICAI), 2015, Cuernavaca. Lecture Notes in Computer Science, 2015. v. 9414. p. 422-434.
OLIVEIRA, RICARDO TAVARES DE ; Silva, Fabiano . SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem. In: 2014 Brazilian Conference on Intelligent Systems (BRACIS), 2014, Sao Paulo. 2014 Brazilian Conference on Intelligent Systems. p. 192.
Tavares de Oliveira, Ricardo ; Silva, Fabiano ; Ribas, Bruno Cesar ; Castilho, Marcos A. . On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. In: 13th Ibero-American Conference on Artificial Inteligence (IBERAMIA), 2012, Cartagena de Indias. Lecture Notes in Computer Science (LNCS), 2012. v. 7637. p. 381-391.
ZUGE, A. P. ; CARMO, R. ; de OLIVEIRA, R. T. ; Silva, Fabiano . Using PMaxSat Techniques to Solve the Maximum Clique Problem. In: Latin American Workshop on Cliques in Graph, 2016, La Plata. VII Latin American Workshop on Cliques in Graph, 2016.
Ricardo Tavares de Oliveira ; Silva, Fabiano . CRIAÇÃO, OBTENÇÃO E INSTALAÇÃO DO AGENTE PROINFODATA. In: EVINCI - Evento de Iniciação Científica da UFPR, 2010, Curitiba. 18o EVINCI, 2010.
Ricardo Tavares de Oliveira ; Silva, Fabiano ; Marcos Sfair Sunye ; Vinicius Kwiecien Ruoso . Algoritmos para Junções com Processamento Paralelo. In: EVINCI - Evento de Iniciação Científica da UFPR, 2009, Curitiba. 17o EVINCI, 2009.
Ricardo Tavares de Oliveira . Apresentação da Maratona de Programação. 2018. (Apresentação de Trabalho/Conferência ou palestra).
Tavares de Oliveira, Ricardo . Maratona de Programação. 2017. (Apresentação de Trabalho/Conferência ou palestra).
Tavares de Oliveira, Ricardo . Introdução à Maratona de Programação. 2017. (Apresentação de Trabalho/Conferência ou palestra).
Tavares de Oliveira, Ricardo . Maratona de Programação - Competição de Programação leva Alunos para Final Mundial. 2016. (Apresentação de Trabalho/Conferência ou palestra).
Tavares de Oliveira, Ricardo . Maratona de Programação. 2016. (Apresentação de Trabalho/Conferência ou palestra).
Tavares de Oliveira, Ricardo . Escola de Inverno da Maratona de Programação. 2015. (Apresentação de Trabalho/Conferência ou palestra).
Ricardo Tavares de Oliveira . Maratona de Programação. 2013. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Tavares de Oliveira, Ricardo . Programação Dinâmica Aplicada a Competições de Programação. 2015. (Curso de curta duração ministrado/Outra).

Tavares de Oliveira, R. . Biblioteca STL aplicada à Maratona de Programação. 2014. (Curso de curta duração ministrado/Outra).

Ricardo Tavares de Oliveira . Maratona de Programação. 2013. (Curso de curta duração ministrado/Outra).

Prêmios

2022

Menção honrosa por participação na final nacional da maratona de programação (coach), SBC.

2018

Aprovado em concurso público para professor do magistério federal (2a colocação), Universidade do Estado de Santa Catarina (UDESC - Joinville).

2018

Aprovado em concurso público para professor do magistério federal (1a colocação), Universidade Federal de Mato Grosso (UFMT - Várzea Grande).

2018

Aprovado em concurso público para professor do magistério federal (1a colocação), Universidade Tecnológica Federal do Paraná (UTFPR - Toledo).

2018

Aprovado em concurso público para professor do magistério federal (2a colocação), Universidade Tecnológica Federal do Paraná (UTFPR - Apucarana).

2017

Aprovado em concurso público para professor do magistério federal (4a colocação), Universidade Tecnológica Federal do Paraná (UTFPR - Ponta Grossa).

2016

Menção honrosa por participação na final nacional da maratona de programação (coach), SBC.

2014

Menção honrosa por participação na final nacional da maratona de programação (coach), SBC.

2013

Menção honrosa por participação na final nacional da maratona de programação (coach), SBC.

2012

Menção honrosa na final mundial do International College Programming Contest (ICPC), ACM.

2011

Menção honrosa na final mundial do International College Programming Contest (ICPC), ACM.

2011

Medalha de prata na final nacional da maratona de programação, SBC.

2010

Medalha de bronze na final nacional da maratona de programação, SBC.

2010

Destaque Acadêmico, UFPR.

2009

Menção honrosa por participação na final nacional da maratona de programação, SBC.

Histórico profissional

Experiência profissional

2018 - Atual

Universidade Tecnológica Federal do Paraná

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

Outras informações:
- Disciplinas ministradas: 2018/2: Pesquisa e Classificação de Dados, Fundamentos de Orientação a Objetos. 2019/1: Fundamentos de Programação, Estrutura de Dados, Fundamentos de Orientação a Objetos. 2019/2: Estrutura de Dados, Pesquisa e Classificação de Dados, Fundamentos de Orientação a Objetos. - Conselheiro do Conselho de Graduação e Educação Profissional (COGEP) de Setembro/2018 a Julho/2019.

2013 - 2013

Universidade Tecnológica Federal do Paraná

Vínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 40

Outras informações:
Disciplinas ministradas: IF01A - Informática I IF02A - Informática II

2008 - 2009

Centro de Computação Científica e Software Livre

Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20

Outras informações:
Participou como desenvolvedor do Paraná Digial, do PROINFOData e do Linux Educacional.

2012 - 2012

Facebook, Inc.

Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 40

Outras informações:
Estágio realizado entre junho e agosto de 2012, na posição de Software Engineer, Intern.

2016 - 2017

Universidade Federal do Paraná

Vínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 40

Outras informações:
Ministrou CI208 (Programação de Computadores), CI097 (Programação Competitiva) e CI202 (Métodos Numéricos).