I am planning to take a sabbatical from September 2024 to August 2025. I would like to spend some time visiting other labs, and some time working with the industry. If this is something that might interest you, please get in touch.
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.
Comparing the expressive power of Strongly-Typed and Grammar-Guided Genetic Programming at GECCO 2023
Usability-Oriented Design of Liquid Types for Java at ICSE 2023
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming at GPCE 2022
Keynote at Ada-Europe 2023
Social Media Chair at ICSE 2024
Web and Publicity Chair at SPLASH 2023 and 2024
Program Committee member at PLDI 2023 and ICT4S 2024