Foto del docente

Roberto Amadini

Ricercatore a tempo determinato tipo b) (senior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Temi di ricerca

Parole chiave: 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.


Ultimi avvisi

Al momento non sono presenti avvisi.