A palestra intitulada “Safer Software with Liquid Types”, será apresentada pelo Prof. Alcides Fonseca no dia 4 de fevereiro, às 15:00, na sala B006, com a moderação do Prof. José Campos (DEI).
Sobre a Palestra:
“In a world where LLM-generated code is being produced at a faster pace than human written code, verification is more important than ever. Liquid Types (refining types with logical predicates, e.g. {x:Int | x > 10}) have been around for 17 years now but, despite their many applications, they haven’t taken off. In this talk we will answer why (PLDI’25), based on user interviews we conducted, relating them to other verification tools such as Interactive Theorem Provers and Design-by-Contract approaches like Dafny. Finally, we will see how our research group is addressing those challenges in both LiquidJava and Aeon.”
Sobre o Palestrante:
Alcides Fonseca é Professor Associado na Universidade de Lisboa, onde lidera a linha de investigação em Sistemas de Software Fiáveis. Em paralelo com a sua atividade principal como Professor Associado na Universidade de Lisboa, Alcides tem trabalhado, ao longo dos anos, para e com várias startups, incluindo a fundação de uma empresa júnior. Em qualquer uma dessas funções, Alcides utiliza uma combinação de linguagens de programação (Python, Haskell, Lean, Scala) e outras desenvolvidas pelo seu grupo de investigação, como a linguagem de programação Aeon, que gera automaticamente código com base em Programação Genética e Tipos Líquidos.