Defesa de Dissertação de Larissa Pimentel Viana Randow
Título da Dissertação:
The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos
The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos
Data: 19 de dezembro de 2025
Horário: 14h00
Local: Sala virtual da Conferência Web RNP
Link de acesso: conferenciaweb.rnp.br/webconf/jefferson-oliveira-andrade
Local: Sala virtual da Conferência Web RNP
Link de acesso: conferenciaweb.rnp.br/webconf/jefferson-oliveira-andrade
Banca Examinadora:
-
Orientador: Prof. Dr. Jefferson Oliveira Andrade
-
Coorientadora: Profª Drª Karin Satie Komati
-
Membro Interno: Prof. Dr. Mateus Conrad Barcelos da Costa (Ifes - Serra)
-
Membro Externo: Prof. Dr. Victório Albani de Carvalho (Ifes - Serra)
registrado em:
Defesas de Dissertação