My main research interests involve program analysis through abstract interpretation.
More precisely, I investigate adaptive analysis techniques, where the configuration and behaviour of the analysis can adapt more optimally to the program at hand during the analysis itself.