Taylor Lab

Research focus

ERC Starting Grant · 2024

Systematic and computer-aided performance certification for numerical optimization

Numerical optimization is a fundamental tool with a growing impact in many disciplines from science to industry. Many of its successes are due to theoretical advances, which are key to developing trust in numerical algorithms. While trust is non-negotiable in many applications, the complexity level of modern and future problems makes it very hard for theory to keep up with efficient proposals. Arguably worse, while both theory and experimental practice are key to the field, their respective recommendations often conflict with each other and the gap between theory and practice gets embarrassingly large. The main objective of this proposal is to push forward the theoretical foundations of…

From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.