Announcement
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 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
Understanding Misconfigurations in ROS: An Empirical Study and
Current Approaches at ISSTA 2024
Semantically Rich Local Dataset Generation for Explainable AI in Genomics at GECCO 2024
Is it a Bug? Understanding Physical Unit Mismatches in Robot Software at ICRA 2024
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
Invited Talk at CFTC (March 2024)
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