Doutor em Ciências da Computação na UFSC (2025), com enfoque em design de sistemas críticos orientado a dados e especificação de propriedades de segurança. Mestre em Ciências da Computação na UFSC (2021), onde a pesquisa do mestrado tem como área principal o monitoramento e otimização de performance e consumo energético em sistemas embarcados de tempo-real, sendo utilizado técnicas de Machine Learning para tais otimizações. Bacharel em Ciências da Computação pela Universidade Federal de Santa Catarina (2018), onde o enfoque do meu trabalho de conclusão de curso foi na área de Tempo-real e sistemas embarcados. Meus tópicos de interesse também incluem, veículos autônomos, sistemas embarcados, machine learning, e redes de sensores e IoT. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Este plano de atividades trata da implementação do Gateway IIoT sobre o Ambiente de Execução Segura (Trusted Execution Environment - TEE) e da implementação de um protocolo de verificação de integridade do gateway através do fluxo de dados da rede. Dentre as atividades que compõem o plano estão o levantamento do estado da arte em ambientes de execução segura e em protocolos de verificação…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID