My research falls within the Artificial Intelligence area, and within this area my main expertise is in Constraint Programming(CP). I am also involved in other areas such as: Algorithm Selection and meta-heuristics, Logic Programming, Machine Learning, Program Analysis, Operations Research.
During my Ph.D. I worked on Portfolio Approaches for Constraint Programming. In a nutshell, I explored Algorithm Selection and Machine Learning techniques in order to predict and run the best (combination of) solver(s) for solving a given CP problem. I implemented most of sunny-cp, a CP portfolio solver for solving both satisfaction and optimization problems.
During my postdoctoral research I have also dealt with Software Analysis and Verification techniques. In particular, I focused on the static and dynamic analysis of JavaScript language with special reference to string analysis. I am currently focusing on CP techniques for solving combinatorial problems with string variables and constraints.
