Meu Currículo

Meu currículo profissional e acadêmico.

Última atualização: Fevereiro de 2025.

Versão em PDF

Resumo

Sou bacharel em ciência da computação pela Universidade do Estado de Santa Catarina (UDESC) e atualmente sou aluno de mestrado em Filosofia na Universidade Estadual de Campinas (Unicamp), estudando lógica formal. No meu GitHub estão listados meus principais projetos, dentre eles meu blog publicado pelo GitHub Pages (você está nele atualmente), uma implementação do algoritmo A* com Python, uma implementação do algoritmo RSA em C++ e uma implementação de um servidor HTTP simples em Python. Tenho experiência com as linguagens Python, C/C++, Java e Shell Script e com sistemas Git. Uso Linux (Ubuntu e Fedora) continuamente desde 2018. Durante a graduação foi professor voluntário da ONG Code Club no ano de 2019. Trabalhei numa empresa de desenvolvimento de sistemas ERP entre minha graduação e meu mestrado. Tenho duas publicações acadêmicas, ambas em inglês e na área de lógica formal.

Habilidades Técnicas

Linguagens de Programação	Python, C/C++, Java, Shell Script, HTML e CSS (básico)
Controle de Versão	Git (GitHub)
Sistemas Operacionais	Linux (Ubuntu e Fedora), Windows
Sistemas de Banco de Dados	PostgresQL, MongoDB, MySQL (básico)
Outros	Markdown, Latex, Google Sheets

Educação

Universidade do Estado de Santa Catarina (UDESC) Bacharelado em Ciência da Computação	Fev. 2017 - Jul. 2023
Universidade Estadual de Campinas (Unicamp) Mestrado em Filosofia	Mar. 2024 - *Em Andamento*

Atividades Extracurriculares

Iniciação Científica (pesquisa) - UDESC Atividades de Pesquisa associadas ao Grupo de Pesquisa em Fundamentos da Computação, orientado pela Prof. Karina G. Roggia. • Voluntário de agosto de 2019 até janeiro de 2020; • Bolsista modalidade PROIP (financiado pela UDESC) de fevereiro de 2020 até dezembro de 2022. • Foco em estudos sobre lógica formal e assistentes de provas.	Ago. 2019 - Dez. 2022.
Monitoria da Disciplina de Lógica Matemática (ensino) - UDESC Atividades de auxílio dos alunos da disciplina, orientado pelos professores Cláudio C. de Sá (agosto de 2018 até dezembro de 2018) e Kariston Pereira (janeiro de 2019 até dezembro de 2019).	Ago. 2018 - Dez. 2019

Experiência Profissional

Trainee Técnico, Softdata Soluções, Joinville, Santa Catarina
Empresa de desenvolvimento de sistemas ERP industriais.
• Trabalhei na manutenção de sistemas da empresa e implementação de componentes requisitados por clientes.
• Trabalhei principalmente com a linguagem Dataflex para implementação do sistema da empresa e com SQL, tanto na geração de consultas específicas dentro do sistema ERP quanto durante testes feitos durante o desenvolvimento e teste de componentes implementados por mim.

Ago. 2023 - Dez. 2023

Publicações

Soundness-Preserving Fusion of Modal Logics in Coq NUNES, M. A.; ROGGIA, K. G.; TORRENS, P. H. Soundness-preserving fusion of modal logics in coq. Em: Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2025. p. 120–138.	2024
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq DA SILVEIRA, A. A. et al. A sound deep embedding of arbitrary normal modal logics in coq. Proceedings of the XXVI Brazilian Symposium on Programming Languages.New York, NY, USA: ACM, 2022. p. 1-7.	2022

Trabalho Voluntário

Professor, Code Club Brasil, Joinville, Santa Catarina
Atuei como professor da ONG Code Club Brasil dando aulas introdutórias a programação para crianças da Escola Municipal Avelino Marcante. O objetivo da ONG é ensinar crianças e adolescentes alunos de escolas públicas a programar. A ONG fornece os materiais didáticos e cabe aos voluntários ministrar aulas com base nesse material e providenciar local para as aulas.

Mar. 2019 - Nov. 2019