Foto del docente

Roberto Amadini

Senior assistant professor (fixed-term)

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics


Keywords: Artificial Intelligence Constraint Programming Combinatorial Optimization Algorithms Portfolio Software Verification

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.

Latest news

At the moment no news are available.