🎓 Estudante de Engenharia da Computação no Centro de Informática (UFPE)
💡 Tenho um grande interesse por banco de dados, algoritmos, programação concorrente e sistemas críticos
🚀 Sempre em busca de conhecimento
Tenho domínio das linguagens C, C++ e Java, com experiência prática em banco de dados relacionais, com ênfase em modelagem, consultas otimizadas e uso de SQL. Atuei em diversos trabalhos em grupo, desenvolvendo soluções criativas e aprimorando habilidades de colaboração e resolução de problemas.
- Programação concorrente (threads, sincronização, processos)
- Algoritmos e estruturas de dados
- Banco de dados
- Sistemas Críticos
- Aplicações Web
- Machine Learning
Aplicação web de mensagens em tempo real, utilizando tecnologias modernas de back-end e front-end.
Simulação formal de um sistema de controle de elevador, especificado com o método B utilizando a ferramenta Atelier B e verificado com ProB. Projeto com ênfase em modelagem formal, invariantes e correção de software crítico.
Projeto de modelagem de um mini mundo:
- Modelo conceitual
- Modelo lógico-relacional
- Consultas SQL complexas Realizado como parte da disciplina de Gerência de Dados e Informação (GDI), com aplicação prática em Oracle Live.
- ✉️ Email: vma3@cin.ufpe.br
Obrigado por visitar meu perfil! 🚀