I am an Associate Professor at University of Lisbon, where I teach Functional Programming, Compilers, Parallel and Concurrent Programming.
I am also an integrated researcher at LASIGE where my group develops programming languages and tools that improve developer (and end-user) productivity. We are currently working on a programming language with liquid types that can synthesize programs automatically. I am exploring a combination of smt-guided synthesis (efficient, but does not scale to large contexts) with genetic programming (slow, but can scale). For that, we have built GeneticEngine, which implements different types of synthesis for a problem defined by a grammar and a fitness function. Another liquid types application we are exploring is the modeling of the energy consumption of functions.
My publications are available on Google Scholar and the source code is available on Github.
Recent highlights
Usability Barriers for Liquid Types at PLDI 2025
Usability Challenges of Liquid Types at the University of Osaka (2025)
Social Media Chair at ICSE 2024
Web and Publicity Chair at SPLASH 2023 and 2024
Program Committee member at PLDI 2023 and ICT4S 2024