Keywords
- Nonlinear optimization
- Multiobjective optimization
- Constraint programming
- Interval analysis
- Cyber-Physical systems
Research interest
Since my master and PhD thesis, I have been interested in the development of methods for solving numerical nonlinear optimization problems, and in particular in a multiobjective context. The different approaches I am interested in range from local search in black box optimization context to global Branch & Bound methods. The use of numerical constraint programming techniques and interval analysis is in general useful in this latter context.
I am currently interested in particular applications of constraint programming with guaranteed numerical methods for the formal analysis of Cyber-Physical systems.