Doutor em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul na linha de pesquisa de Sistemas Embarcados e Sistemas Digitais (SESD) no grupo de pesquisa GSE/PUCRS com bolsa da CAPES. Mestre em Ciência da Computação pela PUCRS, na linha de pesquisa de Sistemas Embarcados e Sistemas Digitais (SESD) no grupo de pesquisa GSE/PUCRS com bolsa da CAPES. Bacharel em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2014/2) com distinção acadêmica (prêmio Aluno Destaque conferido pela Sociedade Brasileira de Computação).