Keywords
Team
Mathematical Optimization
Biography
Sophie Demassey holds MSc degrees in fundamental mathematics and in computer science from Aix-Marseille University, then in 2003, a PhD from Avignon University. She has been a teacher-researcher in mathematical optimization, since 2005 at the Computer Science Department of Mines Nantes, in charge of the GIPAD specialty (computer engineering for decision support), then at the Center for Applied Mathematics of Mines Paris-PSL since 2014. Attached to the fields of operational research and constraint programming, she serves to the scientific societies (ROADEF, Association for Constraint Programming, PGMO) and program committees.
Her work focuses on solving complex decision-making problems, combining discrete decisions and non-linear dynamics, and aims to improve industrial processes and inform public policies in the context of transition: planning, sizing, operating systems to minimize environmental impact, based on rich declarative models taking into account the constraints and externalities of decision-making, and through modular, efficient and flexible algorithms. Her methodological contributions mainly concern the hybridization and coordination of mathematical programming techniques, graphs, automata, constraint programming, machine learning, algebraic geometry. They are implemented, for example, in the design and operation of water, electrical and road networks; the management of data center resources; the electrification of heavy vehicle fleets; and staff planning.
Publication(s)
-
2026
The global constraint catalogue: a retrospective on organic growth and unplanned emergence DOI : 10.1007/s10601-026-09386-5
-
2026
Localization of complementarity eigenvalues DOI : 10.23952/cot.2027.10
-
2024
Alternating Direction Method and Deep Learning for Discrete Control with Storage DOI : 10.1007/978-3-031-60924-4_7
-
2023
Difference-of-Convex approach to chance-constrained Optimal Power Flow modelling the DSO power modulation lever for distribution networks DOI : 10.1016/j.segan.2023.101168
-
2021
Pump scheduling in drinking water distribution networks with an LP/NLP-based branch and bound DOI : 10.1007/s11081-020-09575-y
-
2021
A bundle method for nonsmooth DC programming with application to chance-constrained problems DOI : 10.1007/s10589-020-00241-8
-
2020
Robust Design of Pumping Stations in Water Distribution Networks DOI : 10.1007/978-3-030-21803-4_95
-
2019
Optimal engagement and operation of a grid-connected PV/battery system DOI : 10.1109/ISGTEurope.2019.8905617
-
2019
Investment choices and capacities at risk in decarbonizing the EU electric system DOI : 10.46855/energy-proceedings-1901
-
2019
Extended linear formulation of the pump scheduling problem in water distribution networks DOI : 10.5441/002/inoc.2019.04
-
2017
A convex mathematical program for pump scheduling in a class of branched water networks DOI : 10.1016/j.apenergy.2015.12.090
-
2017
Scaling energy adaptive applications for sustainable profitability DOI : 10.1007/978-3-319-64203-1_2
-
2015
Dynamic packing with side constraints for datacenter resource management DOI : 10.1007/978-3-319-18899-7_2
-
2015
A Heuristic Approach to the Water Networks Pumping Scheduling Issue DOI : 10.1016/j.egypro.2015.07.569
-
2012
The conjunction of interval among constraints DOI : 10.1007/978-3-642-29828-8_8
-
2011
New filtering for the cumulative constraint in the context of non-overlapping rectangles DOI : 10.1007/s10479-010-0731-0
-
2011
Bin repacking scheduling in virtualized datacenters DOI : 10.1007/978-3-642-23786-7_5
-
2010
Resource-Constrained Project Scheduling: Models, Algorithms, Extensions and Applications DOI : 10.1002/9780470611227
-
2010
Mathematical Programming Formulations and Lower Bounds DOI : 10.1002/9780470611227.ch3
-
2010
Resource‐Constrained Project Scheduling: preface DOI : 10.1002/9780470611227
-
2009
Sequencing and counting with the multicost-regular constraint DOI : 10.1007/978-3-642-01929-6_14
-
2007
Global constraint catalogue: Past, present and future DOI : 10.1007/s10601-006-9010-8
-
2006
Graph properties based filtering DOI : 10.1007/11889205_7
-
2006
A cost-regular based hybrid column generation approach DOI : 10.1007/s10601-006-9003-7
-
2006
Lower bounds for resource constrained project scheduling problem: Recent advances DOI : 10.1007/978-0-387-33768-5_7
-
2005
Constraint-propagation-based cutting planes: An application to the resource-constrained project scheduling problem DOI : 10.1287/ijoc.1030.0043
-
2005
Constraint programming based column generation for employee timetabling DOI : 10.1007/11493853_12
-
2004
Tight LP bounds for resource constrained project scheduling DOI : 10.1007/s00291-003-0155-1
Teaching
Mathematical Optimization for the Transition
The course is divided into two thematic parts, each alternating between lectures, tutorials (modeling exercises, convergence proofs), and lab sessions (implementation of the Gurobi solver): A. Integer Optimization for Discrete Problems 1. Review of Linear Optimization (Modeling Exercises, Geometry and Algebra, Duality and Optimality, Simplex Algorithm) 2. Integer Programming Modeling (Discrete Decisions, Logical Conditions, Nonlinear Functions, Ideal Formulations, Case Studies for the Transition) 3. Linear Integer Programming Algorithms (Cut Generation, Branch-and-Bound, Reformulation, and Decompositions) 4. Implementation (Branch-and-Cut, Modern Solvers and Parameterization, Case Study: Hybrid Electricity Generation) B. Equilibrium Problems from an Optimization Perspective 1. Review of Nonlinear Optimization (Problem Definition, Definition of Local and Global Solutions, Constraint Qualifications, First-Order Optimality Conditions, Second-Order Optimality Conditions, Duality) 2. Introduction to Complementarity Problems (Linear Complementarity Problems, Mixed Linear Complementarity Problems, Connection Between Optimization Problems and Complementarity Problems, Numerical Algorithms for Solving Complementarity Problems) 3. Optimization Problems Constrained by Complementarity Problems (Definition of Equilibrium Problems, Connection to Nash Equilibrium Problems, Transformation of a Nonconvex Quadratic Simplex Problem into a Mathematical Programming Problem with Complementarity Constraints) 4. Examples (Energy markets, International agreements on climate change adaptation) For each thematic section, course notes in slide format and the code needed for the lab will be made available to students. Equipment: personal computer with, as desired: a web browser and a GitHub or Google Drive account (for the code and to save the project in Google Colab) or a recent installation of Gurobi (several APIs available, including Python, C/C++, and Java) and MATLAB.
PhD supervision
- 2026 Decarbonization of road freight transport: optimizing the formation and use of electric truck fleets AL KOSTIT Malak
- 2025 Nuclear power program: technical-economic optimization and management of infrastructures and the nuclear fuel cycle GAGNEPAIN Albin
- 2024 Mathematical programming with equilibrium constraints: models and algorithms for non-convex optimization MARTINS SASAKI Antonio
- 2023 Hybrid combinatorial optimization and machine learning algorithms for energy-efficient water networks TAVAKOLI Amirhossein
- 2022 Operational planning under joint uncertainties SYRTSEVA Ksenia
- 2018 Integrating uncertainties in short-term operational planning JAVAL Paul
- 2018 Optimal control and sizing of pumping stations in drinking water distribution networks BONVIN Gratien
- 2017 Optimal control and energy management of an autonomous energy station through Robust Optimization N'GORAN Arnold
- 2017 Integrated approach for prospective analysis of deep decarbonization of the European electricity system by 2050 in the face of climate variability SIGGINI Seyram
- 2015 Robust optimization of control and sizing of an intelligent railway electric network at the scale of a station and its district HAVEL Aurélien
- 2013 Dynamic multi-flows with resource synchronization constraints LIBEAUT Xavier
- 2012 Bi-objective evaluation of the capacity of railway infrastructures using hybrid column generation MEREL Aurélien
- 2011 Automata and constraint programming for personnel planning MENANA Julien
