Some funded projects
ANR 07-JCJC-0151:
Automatic Reformulation Search
2007-2010 Formal treatment of reformulations in mathematical programming; elementary and advances reformulations
ANR 08-SEGI-023:
Analyse Statique et Optimisation
2008-2011 Optimization techniques for static analysis by abstract interpretation
Digiteo Emergence:
Preuve, Analyse Statique et Optimisation
2008-2010 Optimization methods in static analysis and automated theorem proving
Digiteo Chair:
Reformulation Methods in Non-Convex and Combinatorial Optimization
2009-2013 Reformulation based methods in mathematical programming with applications
Digiteo Emergence:
Automatic Reformulation Methods
2009-2012 Reformulation methods in mixed-integer nonlinear programs
primary: liberti at (same domain as this website); also at