Paulo Victor Teixeira Eufrásio

Possui graduação em Computação pela Universidade Federal do Ceará (2009) e mestrado em Ciências da Computação pela Universidade de São Paulo (2014). Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: clique máxima, branch-and-bound e metodo ritveld, refinamento de estruturas, dbws.

Informações coletadas do Lattes em 21/07/2025

Acadêmico

Formação acadêmica

Mestrado em Ciências da Computação

2010 - 2014

Universidade de São Paulo
Título: Pares Ramsey minimais,Ano de Obtenção: 2014
Yoshiharu Kohayakawa.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Direito

2014 - 2021

Universidade Federal do Ceará
Título: Análise de propostas de alteração do sistema eleitoral brasileiro: voto distrital, voto preferencial e voto impresso
Orientador: Raquel Cavalcanti Ramos Machado

Graduação em Computação

2006 - 2009

Universidade Federal do Ceará
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2016 - 2016

Uma ética da imanência: um percurso pela ética de Benedictus de Spinoza. (Carga horária: 10h). , Universidade Estadual do Ceará, UECE, Brasil.

2015 - 2015

Cryptography I. (Carga horária: 49h). , Stanford University, STANFORD, Estados Unidos.

2014 - 2014

Machine Learning. (Carga horária: 77h). , Stanford University, STANFORD, Estados Unidos.

2013 - 2013

Game Theory. (Carga horária: 49h). , Stanford University, STANFORD, Estados Unidos.

2006 - 2006

Programação Avançada. (Carga horária: 30h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2005 - 2005

Programação Avançada. (Carga horária: 35h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2004 - 2004

Programação Avançada. (Carga horária: 35h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2003 - 2003

Programação Avançada. (Carga horária: 30h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma 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: Matemática.

Grande área: Ciências Exatas e da Terra / Área: Física.

Grande área: Ciências Sociais Aplicadas / Área: Direito.

Participação em eventos

VII Congresso da ABraSD. 2016. (Congresso).

XIV Congresso Internacional de Direito Constitucional. 2016. (Congresso).

II Congresso Internacional de Direito Constitucional e Filosofia Política. 2015. (Congresso).

Latin American Workshop on Applications of Powder Diffraction and Mini-Course on Methods of Powder Diffraction. Development of a graphical interface for the refinement program DBWS. 2007. (Congresso).

Participação em bancas

EUFRASIO, P. V. T.. International Young Physicists' Tournament. 2013. International Young Physicists' Tournament Brasil.

Produções bibliográficas

  • EUFRASIO, P. V. T. ; CORREA, R. C. . Implementação de um algoritmo Branch-and-Bound para o problema da clique máxima. 2009. (Apresentação de Trabalho/Outra).

  • EUFRASIO, P. V. T. ; SASAKI, J. M. . Desenvolvimento de uma Interface Gráfica para o Programa de Refinamento DBWS. 2007. (Apresentação de Trabalho/Outra).

Prêmios

2006

VIII Olimpíada Brasileira de Informática - Modalidade Programação - Nível 2 - Medalha de Bronze, Sociedade Brasileira de Computação.

2005

VII Olimpíada Brasileira de Informática - Modalidade Programação Nível 2 - Medalha de Ouro, Sociedade Brasileira de Computação.

2005

Olimpíada Brasileira de Física - Medalha de Bronze, Sociedade Brasileira de Física.

2005

VIII Olimpíada Brasileira de Astronomia ? Modalidade Ensino Médio - Medalha de Ouro, Sociedade Astronômica Brasileira.

2004

VI Olimpíada Brasileira de Informática - Modalidade Programação - Medalha de Ouro, Sociedade Brasileira de Computação.

2004

XII Olimpíada Cearense de Física - 2 Lugar, Universidade Federal do Ceará.

2004

24ª Olimpíada Cearense de Matemática - Menção Honrosa, Universidade Federal do Ceará.

2004

26ª Olimpíada Brasileira de Matemática ? 3 Nível (Ensino Médio) - Menção Honrosa, Sociedade Brasileira de Matemática.

2004

Olimpíada Brasileira de Física - Medalha de Bronze, Sociedade Brasileira de Física.

2004

VII Olimpíada Brasileira de Astronomia ? Modalidade Ensino Médio - Medalha de Ouro, Sociedade Astronômica Brasileira.

2003

V Olimpíada Brasileira de Informática - Modalidade Programação - Medalha de Prata, Sociedade Brasileira de Computação.

2003

XI Olimpíada Cearense de Física - 2 Lugar, Universidade Federal do Ceará.

2003

Olimpíada Brasileira de Física 2003 - Meedalha de Bronze, Sociedade Brasileira de Física.

2003

VI Olimpíada Brasileira de Astronomia ? Modalidade Ensino Médio - Medalha de Bronze, Sociedade Astronômica Brasileira.

2002

22ª Olimpíada Cearense de Matemática - Medalha de Bronze, Universidade Federal do Ceará.

Histórico profissional

Experiência profissional

2010 - 2010

Inter-American Development Bank

Vínculo: Consultor, Enquadramento Funcional: Programador, Carga horária: 40

2012 - 2014

Top Free Games

Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor de Jogos, Carga horária: 40

2006 - 2009

Colégio Ari de Sá Cavalcante

Vínculo: Professor Visitante, Enquadramento Funcional: Professor de Olimpíada, Carga horária: 6

2009 - 2009

Colégio Santo Inacio

Vínculo: Professor Visitante, Enquadramento Funcional: Professor de Olimpíada, Carga horária: 4

2007 - 2008

DotLib Informação Profissional

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

2009 - 2009

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.