Matheus Vinicius Correa

Mestre em Informática pela Universidade Federal do Paraná, concluído em 2020. Graduação em Licenciatura em Computação pela Universidade Federal do Paraná, concluída em 2017.

Informações coletadas do Lattes em 02/10/2025

Acadêmico

Formação acadêmica

Mestrado em Informática

2018 - 2020

Universidade Federal do Paraná
Título: Busca em Largura Lexicográfica e Algoritmos Exatos para o Problema da Clique Máxima,Ano de Obtenção: 2020
Orientador: Renato Carmo
Coorientador: Alexangre Prush Zuge. Palavras-chave: Clique Máxima; Busca em Largura Lexocográfica; Análise Experimental de Algoritmos.Grande área: EngenhariasGrande Á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. Setores de atividade: Pesquisa e desenvolvimento científico.

Graduação em Computação

2014 - 2018

Universidade Federal do Paraná
Título: Técnicas de Projeto de Algoritmos: Backtracking e Programação Dinâmica
Orientador: Alexandre Prusch Züge

Ensino Médio (2º grau)

2010 - 2012

Maria Angela Batista Dias

Formação complementar

2016 - 2016

Extensão universitária em TDD - Desenvolvimento de Software Guiado por Testes. (Carga horária: 32h). , Instituto Tecnológico de Aeronáutica, ITA, Brasil.

2016 - 2016

Introdução ao Latex. (Carga horária: 2h). , Universidade Federal do Paraná, UFPR, Brasil.

2015 - 2015

Introdução ao SegeMath. (Carga horária: 2h). , Universidade Federal do Paraná, UFPR, Brasil.

2015 - 2015

Introdução ao CakePHP. (Carga horária: 2h). , Universidade Federal do Paraná, UFPR, Brasil.

Idiomas

Inglê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.

Organização de eventos

CORREA, M. V. . FLiSoL - Festival Latino-americano de Instalação de Software Livre. 2016. (Festival).

CORREA, M. V. . FLiSoL - Festival Latino-americano de Instalação de Software Livre. 2015. (Festival).

CORREA, M. V. . Mexa-se. 2015. (Outro).

CORREA, M. V. . I Feira de Cursos de Profissões da UFPR Jandaia do Sul. 2014. .

Participação em eventos

9th Latin American Workshop on Cliques in Graphs. Lexicographic Breadth-First Search and Exact Algorithms for the Maximum Clique Problem. 2020. (Congresso).

3ª Feira de Cursos e Profissões. 2016. (Feira).

Flisol - Festival Latino-americano de Instalação de Software Livre.Software Livre Na Impressão 3D. 2016. (Encontro).

Flisol - Festival Latino-americano de Instalação de Software Livre. 2016. (Encontro).

SLEC. 2016. (Simpósio).

Flisol - Festival Latino-americano de Instalação de Software Livre. 2015. (Encontro).

Flisol - Festival Latino-americano de Instalação de Software Livre.Ferramentas de Automação Front-End. 2015. (Encontro).

II Feira de Cursos e Profissões. 2015. (Feira).

4ª Feira de Ciência e Tecnologia de Palotina. 2014. (Feira).

Flisol - Festival Latino-americano de Instalação de Software Livre. 2014. (Encontro).

Produções bibliográficas

CORREA, MATHEUS ; CARMO, RENATO ; ZÜGE, ALEXANDRE . Lexicographic Breadth First-Search and Branch and Bound Algorithms for the Maximum Clique Problem. Matemática Contemporânea , v. 48, p. 240-252, 2022.
CORREA, M. V. ; ALBUQUERQUE, J. ; ZUGE, A. P. . WIKITONA: Um repositório de algoritmos para competições de programação. In: SLEC, 2016, Jandao do Sul. Anais do Simpósio de Licenciaturas em Ciências Exatas e em Computação, 2016.
ALBUQUERQUE, J. ; CORREA, M. V. ; ZUGE, A. P. . Elaboração de repositório de algoritmos com foco em estruturas de dados. In: 24° EVINCI (Evento de Iniciacao Cientifica) e 9° EINTI (Evento de Iniciacao Tecnologica e Inovacao), 2016, Jandaia do Sul. ANAIS, UFPR, 24° EVINCI (Evento de Iniciacao Cientifica) e 9° EINTI (Evento de Iniciacao Tecnologica e Inovacao). Curitiba, 2016. v. 1. p. 147., 2016.
CORREA, M. V. ; ZUGE, A. P. . Elaboração de Repositório de Algoritmos com Foco em Teoria dos Grafos. In: 24° EVINCI (Evento de Iniciacao Cientifica) e 9° EINTI (Evento de Iniciacao Tecnologica e Inovacao), 2016, Jandaia do Sul. 24° EVINCI (Evento de Iniciacao Cientifica) e 9° EINTI (Evento de Iniciacao Tecnologica e Inovacao). Curitiba: UFPR, 2016. p. 126-126.
CORREA, M. V. ; ZUGE, A. P. . Comparação e Visualização de Algoritmos de Ordenação. In: 23° EVINCI (Evento de Iniciação Científica) e 8° EINTI (Evento de Iniciação Tecnológica e Inovação), 2015, Curitiba. ANAIS, UFPR, 23° EVINCI (Evento de Iniciação Científica) e 8° EINTI (Evento de Iniciação Tecnológica e Inovação), 2015.

Outras produções

CORREA, M. V. ; ALBUQUERQUE, J. ; ZUGE, A. P. . Wikitona: Repositório de Algoritmos Para Competições de Programação. 2016. (Desenvolvimento de material didático ou instrucional - Recurso Educacional Aberto).

Histórico profissional

Experiência profissional

2020 - Atual

Junto Seguros S.A.

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

2019 - 2020

Sascar

Vínculo: Celetista, Enquadramento Funcional: Programador C++ Senior, Carga horária: 40

Outras informações:
Atua em diferentes fases do processo de desenvolvimento de software, principalmente nas fases de Arquitetura, Implementação e Testes. Diariamente lida com diferentes tecnologias. Para citar algumas: Java, PHP, Python, Postgres e Oracle Database.

2018 - 2018

Institutos Lactec

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Mestrado, Carga horária: 30

Outras informações:
Principais atividades: Pesquisa e Desenvolvimento ligados a problemas de otimização; investigações em engenharia de software e sistemas com foco na implantação em projetos internos.

2010 - 2012

Caixa Econômica Federal

Vínculo: Celetista, Enquadramento Funcional: Menor Aprendiz