Defesa pública de mestrado "The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos".

• Imprimir

No dia 19 de dezembro de 2025, às 14h, será realizada a defesa pública de Dissertação de Mestrado da aluna Larissa Pimentel Viana Randow, do curso de Mestrado em Computação Aplicada, intitulada "The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos".

A defesa ocorrerá de forma remota da sala virtual: https://conferenciaweb.rnp.br/webconf/jefferson-oliveira-andrade

A banca examinadora será composta por:

* Orientador: Prof. Dr. Jefferson Oliveira Andrade
* Coorientador: 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)