Aluna do Mestrado em Computação Aplicada do Campus Serra apresenta trabalho no WorldCist'25

• Imprimir

Entre os dias 15 e 17 de abril, a aluna do Mestrado em Computação Aplicada do Campus Serra, Larissa Pimentel Viana Randow, participou da 13th World Conference on Information Systems and Technologies (WorldCist'25), realizada em Florianópolis, Santa Catarina.

Durante o evento, Larissa apresentou o trabalho "The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos", sob orientação do professor Jefferson O. Andrade e da professora Karin S. Komati. O artigo aborda o desenvolvimento de contratos inteligentes seguros e verificáveis, que permanece como um dos principais desafios da tecnologia blockchain.

O trabalho apresenta o Jus, uma linguagem funcional desenvolvida para enfrentar esses desafios na plataforma Tezos. A linguagem combina princípios da programação funcional, como imutabilidade e pureza, com construções específicas para contratos inteligentes, incluindo sistemas explícitos de transição de estados e recursos avançados da teoria dos tipos. Um interpretador protótipo do Jus foi implementado, permitindo a execução de contratos simples e validando os princípios fundamentais do design da linguagem. Os resultados demonstram o potencial do Jus para simplificar o desenvolvimento de contratos, aumentar a segurança e facilitar a verificação formal.

Saiba mais sobre o evento em: https://worldcist.org/