The talk entitled “Safer Software with Liquid Types” will be presented by Prof. Alcides Fonseca on February 4th at 15:00, in room B006, moderated by Prof. José Campos (DEI).
About the Talk:
“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.”
About the Speaker:
Alcides Fonseca is an Associate Professor at the University of Lisbon, Portugal, where he leads the Reliable Software Systems research line. In parallel to his day job as an Associate Professor at U. Lisbon, Alcides has been working for and with several startups over the years, including founding a junior company. In any of those jobs, Alcides uses a mix of programming languages (Python, Haskell, Lean, Scala) and some that his research group have developed, like the Aeon programming language that automatically generates code for you, based on Genetic Programming and Liquid Types.