Administration

  • 2015-2017: Head of the MAC (methods and algorithms in control) research team at LAAS-CNRS, approx 30 people
  • 2015-2016: Head of the DO (decision and optimization) department federating the three research teams DISCO, MAC and ROC at LAAS-CNRS, approx 60 people
  • 2015: Council of the EDSYS (systems) doctoral school

    Technical committees

  • 2011-2017: IFAC Technical Board
  • 2005-2008: IFAC Technical Committee on Aerospace
  • 2006-2008: CNRS group of experts in automatic control
  • 2004-2010: Chair of the IEEE Technical Committee on Computer Aided Control System Design
  • 2003-2008: Vice-Chair of the IFAC Technical Committee on Control Design
  • 2003-2017: IFAC Technical Committee on Robust Control
  • 2000-2017: Zentralblatt MATH
  • 1999-2017: AMS Mathematical Reviews

    Evaluation and recruitment committees

  • 2024-2025: Member of the Mathematics Evaluation Panel of the Portuguese national public funding agency (FCT).
  • 2024: Scientific Committee for the Czech-French Barrande Fellowship.
  • 2024: Young Researcher Recruitment Committee for Inria Lyon.
  • 2021-2024: Vice-Chair of the Scientific Committee on Foundations of Numerics for the French National Research Agency (ANR).
  • 2019-2024: Scientific Board of CIMI (International Center of Mathematics and Computer Science) in Toulouse.
  • 2019-2021: Board of the Doctoral Study Programme in Cybernetics and Robotics of the Faculty of Electrical Engineering of the Czech Technical University in Prague.
  • 2019-2020: Jury of the Jean-Jacques Moreau Prize of the French Mathematics Society (SMF), French Applied Mathematics Society (SMAI) and French Academy of Sciences.
  • 2018: Evaluation committee of the International Max Planck Research School for Advanced Methods in Process and Systems Engineering of the Otto-von-Guericke University Magdeburg and Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany.
  • 2017-2019: Board of the Doctoral Study Programme in Control and Robotics of the Faculty of Electrical Engineering of the Czech Technical University in Prague.
  • 2017: Committee for the position of Chair of the Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague. Chair: Jiri Matas.
  • 2017: Committee for the position of Chair of the Department of Control Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague. Chair: Jiri Matas.
  • 2016: Professor position at IMT, Univ. Toulouse, France. Topic: discrete mathematics and computer science. Chair: Arnaud Chéritat (IMT, Univ. Toulouse).
  • 2015-2017: Scientific Board of the Czech Neuron fund for support of science
  • 2015: Research evaluation committee (2010-2014) of the Faculty of Electrical Engineering of the Czech Technical University in Prague. Chair: Michael Sebek.
  • 2013: Associate professor position at ENSEM and CRAN, Univ. Lorraine, Nancy, France. Topic: systems control. Chair: Gilles Millerioux (ESSTIN and CRAN, Univ. Lorraine).

    PhD and habilitation committees

  • HDR. Adrien Taylor. Towards principled and systematic approaches to the analysis and design of optimization algorithms. Reviewers: Jean-Francois Aujol (Inst. Math. Bordeaux, Univ. Bordeaux), Didier Henrion (LAAS-CNRS Univ. Toulouse). Members: Antonin Chambolle (CNRS, Univ. Paris Dauphine, PSL Univ.), Marc Teboulle (Tel Aviv Univ.), Emilie Chouzenoux (Univ. Paris-Saclay, CentraleSupelec, Inria), Laurent Massoulie (Inria, ENS Paris, PSL Univ.). ENS, PSL Univ., Paris, 14 November 2024.

  • PhD. Anastasiia Ivanova. Geometric approach to interior-point methods. Supervisors: Roland Hildebrand (Lab. J. Kuntzmann, CNRS, Univ. Grenoble Alpes) and Vladimir Protasov (Lomonosov Moscow State Univ.). Reviewers: Didier Henrion (LAAS-CNRS Univ. Toulouse), Alexander Nazin (V. A. Trapeznikov Inst. Control Sci., Russian Acad. Sci.). Members: Lev Lokutsievskiy (Lomonosov Moscow State Univ., Steklov Math. Inst., Russian Acad. Sci.), Anatoli Iouditski (Lab. J. Kuntzmann, Univ. Grenoble Alpes), Maxim Balashov (V. A. Trapeznikov Inst. Control Sci., Russian Acad. Sci.), Jerome Malick (Lab. J. Kuntzmann, CNRS, Univ. Grenoble). HSE Univ. Moscow, 8 November 2024.

  • PhD. Antonio Bellon. Time-Varying Semidefinite Programming. Supervisors: Jakub Marecek (Czech Tech Univ Prague), Slava Kungurtsev (Czech Tech Univ Prague), Didier Henrion (LAAS-CNRS Toulouse, Czech Tech Univ Prague). Reviewers: Etienne de Klerk (Tilburg Univ), Andrea Simonetto (ENSTA Paris Tech), Alper Yildirim (Univ Edimburg). Members: Martin Takac (MBZ Univ AI Abu Dhabi), Hans Raj Tiwary (Charles Univ Prague), Tomas Werner (Czech Tech Univ Prague), Filip Zelezny (Czech Tech Univ Prague). Czech Tech Univ Prague, 22 April 2024.

  • PhD. Andries Steenkamp. Polynomial Optimization: Matrix Factorization Ranks, Portfolio Selection, and Queueing Theory. Supervisors: Etienne de Klerk, Monique Laurent. Committee: David De Laat, Didier Henrion, Juan Vera Lizcano, Renata Sotirov, Johan van Leeuwaarden. Tilburg Univ., 27 October 2023.

  • PhD. Jared Miller. Safety Analysis for Nonlinear and Time-Delay Systems using Occupation Measures. Northeastern Univ. Boston, 4 April 2023. Supervisor: Mario Sznaier. Committee: Octavia Camps, Didier Henrion, Bahram Shafai, Edouardo Sontag.

  • PhD. Marek Tyburec. Modular-topology optimization of structures and mechanisms. Czech Tech Univ Prague, 20 December 2021. Supervisor: Jan Zeman (Czech Tech Univ Prague), Matej Leps (Czech Tech Univ Prague). Reviewers: Michal Kocvara (Birmingham Univ), Jean Bernard Lasserre (LAAS-CNRS Toulouse). Members: Didier Henrion (LAAS-CNRS Toulouse), Jan Chleboun (Czech Tech Univ Prague), Milan Jirasek (Czech Tech Univ Prague), Martin Kruzik (UTIA-AVCR Prague), Petr Tichy (Charles Univ Prague).

  • PhD. Marianne Souaiby. Lyapunov functions and ensemble approximations for constrained systems using semidefinite programmiong. LAAS-CNRS, Toulouse, 15 October 2021. Supervisors: Didier Henrion (LAAS-CNRS Univ Toulouse and Czech Tech Univ Prague), Aneel Tanwani (LAAS-CNRS Univ Toulouse). Reviewers: Vincent Acary (INRIA Grenoble), Vincent Andrieu (LAGEP-CNRS Lyon). Members: Kanat Camblibel (Univ. Groningen), Mirjam Duer (Univ. Augsburg).

  • PhD. Pierre-Cyril Aubin-Frankowski. Estimation and control under constraints through kernel methods. Mines ParisTech, Paris, 5 July 2021. Supervisor: Nicolas Petit (Mines ParisTech). Reviewers: Johan Suykens (Kath Univ Leuven), Michel de Lara (Ponts ParisTech). Members: Didier Henrion (LAAS-CNRS Univ Toulouse), Alban Quadrat (INRIA Paris), Laurent Pfeiffer (INRIA Saclay).

  • PhD. Matteo Tacchi. Moment-SOS hierarchy for large scale set approximation. Application to power systems transient stability analysis. LAAS-CNRS, Toulouse, 29 June 2021. Supervisors: Didier Henrion (LAAS-CNRS Univ Toulouse and Czech Tech Univ Prague), Carmen Cardozo (RTE Paris). Reviewers: Leo Liberti (LIX Ecole Polytechnique Palaiseau), Sorin Olaru (CentralSupelec Gif-sur-Yvette). Members: Colin N. Jones (EPFL Lausanne), Monique Laurent (CWI Amsterdam), Yannick Privat (Univ Strasbourg), Line Roald (Univ Wisconsin at Madison).

  • PhD. Daniel Wagner. Measures and LMIs for V&V of Adaptive Control. Czech Tech Univ Prague, Czechia, 25 March 2021. Supervisor: Didier Henrion (LAAS-CNRS Univ Toulouse and Czech Tech Univ Prague). Reviewers: Juraj Oravec (Slovak Univ Tech Bratislava, Slovakia), Alexander Schirrer (Tech Univ Wien, Austria), Tomas Vyhlidal (Czech Tech Univ Prague). Members: Martin Hromcik (Czech Tech Univ Prague), Petr Husek (Czech Tech Univ Prague), Jaroslav Pekar (Czech Tech Univ Prague), Branislav Rehak (UTIA Czech Acad Sci Prague), Michael Sebek (Czech Tech Univ Prague).

  • PhD. Rafaël Coyaud. Study of approximations of optimal transport problems and applications to physics. CERMICS, Ecole des Ponts, Paris, 25 January 2021. Supervisors: Aurélien Alfonsi (CERMICS, Ecole des Ponts), Virgnie Ehrlacher (CERMICS, Ecole des Ponts). Reviewers: Gero Friesecke (Tech Univ Munich), Mathieu Lewin (CEREMADE, Univ Paris Dauphine). Members: Jean-David Benamou (INRIA Paris), Paolo Gori-Giorgi (Vrije Univ Amsterdam), Didier Henrion (LAAS-CNRS Univ Toulouse), Luca Nenna (Univ Paris-Saclay).

  • PhD. Arthur Marmin. Modèles rationnels optimisés de manière exacte pour la résolution de problèmes de traitement du signal. Université Paris-Saclay, Centrale-Supélec, 8 December 2020. Supervisors: Jean-Christophe Pesquet (Univ. Paris-Saclay, Centrale-Supélec), Marc Castella (Télécom Sud Paris), Laurent Duval (IFP Energies nouvelles). Reviewers: Bogdan Dumitrescu (Univ. Politehnica Bucarest), Didier Henrion (LAAS-CNRS Univ. Toulouse). Members: Pascal Bondon (L2S-CNRS Univ. Paris-Saclay Centrale-Supéléc), Caroline Chaux (I2M-CNRS Univ. Aix-Marseille), Laurent Albera (Univ. Rennes).

  • PhD. Paul Rousse. ISAE-Supaero, Toulouse, 5 November 2020. A Set-Based Cosimulation Method to Overapproximate the Reachable Set of an Interconnection of Dynamical Systems. Supervisors: Pierre-Loic Garoche (ENAC Toulouse), Didier Henrion (LAAS-CNRS Toulouse). Reviewers: Anders Rantzer (Lund Univ), Thao Dang (VERIMAG Grenoble). Members: Sylvie Putot (Ecole Polytechnique Palaiseau), Eric Feron (KAUST), Sonia Cafieri (ENAC), Alexandre Chapoutot (ENSTA ParisTech Saclay).

  • PhD. Paul Catala. Relaxations Semi-Definies Positives pour l'Imagerie. Ecole Normale Superieure, Paris, 1 October 2020. Supervisors: Gabriel Peyre (CNRS, DMA-ENS), Vincent Duval (INRIA Paris). Reviewers: Laurent Condat (KAUST), Carlos Fernandez-Granda (Courant Institute NYU). Members: Jean-Francois Cardoso (CNRS, IAP), Marianne Clausel (Univ. Lorraine), Georgina Hall (INSEAD), Didier Henrion (LAAS-CNRS).

  • PhD. Mathieu Granzotto. Near-optimal control of discrete-time nonlinear systems with stability guarantees. Univ. Lorraine, Nancy, 18 December 2019. Supervisors: Jamal Daafouz (CRAN, Univ. Lorraine, Nancy), Romain Postoyan (CRAN, Univ. Lorraine, Nancy). Reviewers: Paulo Tabuada (Univ. California Los Angeles USA), Emmanuel Trelat (LJLL Sorbonne Univ. Paris). Members: Dragan Nesic (Univ. Melbourne, Australia), Cristina Stoica (LSS-CentraleSupelec Saclay), Didier Henrion (LAAS-CNRS Univ. Toulouse), Bruno Scherrer (INRIA Univ. Lorraine, Nancy).

  • Habilitation. Martin Scheicher. Topics in Multidimensional Behavioural Algebraic Systems Theory, University of Innsbruck, Austria, May 2019.

  • PhD. Jakub Ehrenberger. Protection of networks with decentralized energy production. Czech Tech. Univ. Prague. 17 December 2018. Advisors: Jan Svec, Radek Hanus (Czech Tech. Univ. Prague). Reviewers: Petr Krejci (Tech. Univ. Ostrava), Petr Toman (Tech. Univ. Brno), Juraj Altus (Zilina Univ.), Zdenek Muller, Jan Kyncl, Ivo Dolezel, Pavel Santarius, Didier Henrion, Viktor Valouch, Josef Tlusty (Czech Tech. Univ. Prague).

  • Habilitation. Nicolas Delanoue. Methodes numeriques garanties pour la classification de fonctions et le controle optimal. Univ. Angers. 11 October 2018. Reviewers: Didier Henrion (LAAS-CNRS Univ. Toulouse), Stef Graillat (Sorbonne Univ. Paris), Nacim Ramdani (Univ. Orléans). Members: Jean-Louis Boimond (Univ. Angers), Luc Jaulin (ENSTA Brest), Laurent Hardouin (Univ. Angers), Marie-Françoise Roy (Univ. Rennes).

  • PhD. Guillaume Davy. Generation de codes et d'annotations prouvables d'algorithmes de points interieurs a destination des systemes embarques critiques. ONERA and ISAE Toulouse. December 2018. Reviewers: Yves Bertot (INRIA Sophia Nice), Sylvie Putot (LIX Ecole Polytechnique Palaiseau). Members: Xavier Allamigeon (INRIA Saclay, LIX Ecole Polytechnique), Sylvie Boldo (INRIA Saclay, LRI Univ. Paris Sud Orsay), Eric Feron (Georgia Tech. Atlanta), David Monniaux (Verimag-CNRS Univ. Grenoble). Advisors: Pierre-Loic Garoche (ONERA Toulouse), Didier Henrion (LAAS-CNRS Univ. Toulouse).

  • PhD. Tillmann Weisser. Computing approximations and generalized solutions using moments and positive polynomials. LAAS-CNRS Univ. Toulouse. 3 October 2018. Reviewers: Salma Kuhlmann (Univ. Konstanz), Emmanuel Trélat (Sorbonne Univ. Paris). Members: Jérôme Malick (LJK-CNRS Univ. Grenoble), Mohab Safey El Din (Sorbonne Univ. Paris), Hasnaa Zidani (ENSTA Paris Tech.). Advisors: Didier Henrion (LAAS-CNRS Univ. Toulouse), Jean Bernard Lasserre (LAAS-CNRS Univ. Toulouse).

  • PhD: Youenn Bidel. Certificats de positivité pour les fonctions rationnelles continues. Univ. Rennes, 10 July 2018. Reviewers: Didier Henrion (LAAS-CNRS Univ. Toulouse), Cordian Riener (Univ. Tromsoe). Members: Erwan Brugallé (Ecole Polytechnique), George Comte (Univ. Savoie), José F. Fernando Galvan (Univ. Madrid), Jean-Philippe Monnier (Univ. Angers). Advisors: Goulwen Fichou (Univ. Rennes), Ronan Quarez (Univ. Rennes).

  • PhD: Xueji Zhang. Distributed Estimation and Control with Applications to Spatially Distributed Damping Systems. Kath Univ Leuven, Belgium, April 3, 2018. Carlo Vandecasteele (KU Leuven), Wim Desmet (KU Leuven), Michael Sebek (Czech Technical University in Prague), Konstantinos Gryllias (KU Leuven), Cassio T. Faria (Siemens Industry Software, Leuven), Kristian Hengster-Movric (Czech Technical University in Prague), Didier Henrion (University of Toulouse), Goele Pipeleers (KU Leuven).

  • PhD: Ronan David. Étude de la stabilité de deux systèmes multidimensionnels. Univ Poitiers, 12 February 2018. Reviewers: Didier Henrion (LAAS-CNRS Univ Toulouse), Paula Rocha (Univ Porto). Members: Laurentiu Hetel (Cristal-CNRS Univ Lille), Driss Mehdi (Univ Poitiers). Advisors: Olivier Bachelier (Univ Poitiers), Nima Yeganefar (Univ Poitiers).

  • PhD: Maria Lopez Quijorna. Detecting optimality and extracting optimal solutions in polynomial optimization based on the Lasserre relaxation. Univ Konstanz, 8 February 2018. Referees: Didier Henrion (LAAS-CNRFS Univ Toulouse), Claus Scheiderer (Univ Konstanz), Markus Schweighofer (Univ Konstanz).

  • PhD: Andre Wagner. Computer vision and computer algebra. Tech Univ Berlin, 23 November 2017. Chair: Gitta Kutyniok (TU Berlin). Referees: Michael Joswig (TU Berlin), Didier Henrion (LAAS-CNRS Univ Toulouse).

  • PhD: Roxana Hess. Some approximation schemes in polynomial optimization. LAAS-CNRS, 28 September 2017. Jerome Bolte (Univ. Toulouse Capitole), Stephane Gaubert (INRIA Saclay), Didier Henrion (LAAS-CNRS Univ. Toulouse), Etienne de Klerk (Univ. Tilburg), Krzysztof Kurdyka (Univ. Savoie Mont-Blanc), Jean Bernard Lasserre (LAAS-CNRS Univ. Toulouse), Michael Overton (New York Univ.), Markus Schweighofer (Univ. Konstanz), Lieven Vandenberghe (Univ. California Los Angeles).

  • Habilitation: Ronan Quarez. Sommes de carrés en algèbre réelle. Université de Rennes, 2017. Referees: Francesca Acquistapace (Univ. Pisa), Erwan Brugallé (Ecole Polytechnique Palaiseau), Didier Henrion (LAAS-CNRS Univ Toulouse).

  • Habilitation: Naly Rakoto. Control of Hybrid Systems and Discrete-Event Systems. Ecole des Mines de Nantes, 6, 7 or 8 September 2017. Alexandre Dolgui (Ecole des Mines de Nantes), Didier Henrion (LAAS-CNRS Univ Toulouse), Claude Jard (Univ. Nantes), Stephane Lafortune (Univ. of Michigan at Ann Arbor), Daniel Liberzon (Univ. Illinois at Urbana-Champaign), Jean-Jacques Loiseau (Univ. Nantes), Eric Niel (INSA Lyon).

  • Habilitation: Roland Hildebrand. University of Grenoble, 20 July 2017. Alexandre d'Aspremont (ENS Paris), Arkadi Nemirovski (Georgia Tech Atlanta), Immanuel Bomze (Univ Wien), Edouard Oudet (Univ Grenoble), Anatoli Iouditski (Univ Grenoble), Didier Henrion (LAAS-CNRS Univ Toulouse), Yurii Nesterov (Univ Cattholique Louvain).

  • PhD: Dan Pilbauer. Kath Univ Leuven, 25 April 2017 and Czech Tech Univ Prague, 16 April 2017. Wim Michiels (Kath Univ Leuven), Tomas Vyhlidal (Czech Tech Univ Prague), Martin Hromcik (Czech Tech Univ Prague), Didier Henrion (LAAS-CNRS Univ Toulouse), Milos Schlegel (Univ West Bohemia Pilsen), Karl Meerbergen (Kath Univ Leuven), Ralf Vandebril (Kath Univ Leuven), Wim Desmet (Kath Univ Leuven).

  • Habilitation: Xavier Thirioux. Veryfing embedded systems. INP Toulouse, 19 September 2016. Referees: Matthieu Martel (Univ. Perpignan), Marc Pouzet (ENS Paris and Univ. Pierre et Marie Curie), Sylvain Conchon (LRI, Univ. Parie Sud). Committee: Virgine Wiels (ONERA Toulouse), Eric Feron (Georgia Tech Atlanta), Didier Henrion (LAAS-CNRS Univ Toulouse), Robert De Simone (INRIA Sophia-Antipolis), Philippe Queinnec (INPT-IRIT Univ Toulouse).

  • Habilitation: Pierre-Loïc Garoche. Convex optimization based static analysis for control systems. ONERA Toulouse, 19 September 2016. Referees: Eric Goubault (Ecole Polytechnique), Ilya Kolmanovsky (Michigan Univ), David Monniaux (Verimag Univ Grenoble). Committee: Behcet Acikmese (Univ Washington Seattle), Eric Feron (Georgia Tech Atlanta), John Hauser (Univ Colorado Boulder), Didier Henrion (LAAS-CNRS Univ Toulouse), Matthieu Martel (Univ Perpignan), Philippe Queinnec (INPT-IRIT Univ Toulouse).

  • Habilitation: Bruno Scherrer. Contributions algorithmiques au contrôle optimal stochastique à temps discret et horizon fini. Institut Elie Cartan de Lorraine, Université de Lorraine, Nancy, 28 June 2016. Referees: Dimitri Bertsekas (MIT Boston), Stéphane Gaubert (INRIA Saclay and Ecole Polytechnique), Bruno Gaujal (INRIA Grenoble). Committee: Didier Henrion (LAAS-CNRS Univ. Toulouse), Frédéric Bonnans (INRIA Saclay and Ecole Polytechnique), Anne Gégout (Univ. Lorraine Nancy), Rémi Munos (INRIA Lille and Google Deepmind London).

  • PhD: Simone Naldi. Exact algorithms for determinantal varieties and semidefinite programming. LAAS-CNRS, Univ. Toulouse, 24 September 2015. Advisors: Didier Henrion (LAAS-CNRS Univ. Toulouse) and Mohab Safey El Din (Univ. Pierre et Marie Curie Paris). Referees: Stéphane Gaubert (Inria Saclay and Ecole Polytechnique), Bernd Sturmfels (Univ. California at Berkeley). Committee: Jean-Charles Faugère (Inria Rocquencourt), Bernard Mourrain (Inria Sophia Antipolis), Giorgio Ottaviani (Univ. Florence), Bruno Salvy (Inria Lyon and Ecole Normale Supérieure Lyon), Markus Schweighofer (Univ. Konstanz).

  • PhD: Zhao Sun. Polynomial Optimization: Error Analysis and Applications. Tilburg Univ., The Netherlands. 29 June 2015. Advisors: Etienne de Klerk (Tilburg Univ.) and Monique Laurent (CWI Amsterdam). Committee: Didier Henrion (LAAS-CNRS Univ. Toulouse), Renata Sotirov (Tilburg Univ.), Frank Vallentin (Univ. Koeln), Juan-Carlos Vera Lizcano (Tilburg Univ).

  • PhD: Marta Abril Bucero. Moments Matrices, Real algebraic geometry and polynomial optimization. INRIA Sophia-Antipolis, Nice, 12 December 2014. Advisor: Bernard Mourrain (INRIA Sophia-Antipolis). Referees: Didier Henrion (LAAS-CNRS Univ. Toulouse), Mohab Safey El Din (Univ. Pierre et Marie Curie Paris), Markus Schweighofer (Univ. Konstanz). Committee: Mariemi Alonso (Univ. Complutense Madrid), André Galligo (Univ. Nice).

  • PhD: Pierre Vuillemin. Approximation de modèles dynamiques de grande dimension sur intervalles de fréquences limités. ISAE-Supaéro and ONERA Toulouse, 24 November 2014. Advisors: Daniel Alazard (ISAE Univ. Toulouse), Charles Poussot-Vassal (ONERA Toulouse). Referees: Martine Olivi (INRIA Nice), Serkan Gugercin (Virgina Inst Tech). Committee: Didier Henrion (LAAS-CNRS Univ. Toulouse), Michel Zasadzinski (Univ. Lorraine).

  • PhD: Pierre Roux. Analyse statique de systèmes de contrôle commande : synthèse d'invariants non linéaires. ISAE-Supaéero and ONERA Toulouse, 18 December 2013. Advisors: Pierre-Loïc Garoche (ONERA Toulouse), Virgine Wiels (ONERA Toulouse). Referees: David Monniaux (VERIMAG Univ. Grenoble), Helmut Seidl (Tech. Univ. Munich). Committee: Eric Féron (Georgia Tech. Atlanta), Eric Goubault (CEA Saclay and Ecole Polytechnique Palaiseau), Didier Henrion (LAAS-CNRS Univ. Toulouse), Cesar Muñoz (NASA Langley Research Center Hampton).

  • PhD: Alberto Passuello. Semidefinite programming in combinatorial optimization with applications to coding theory and geometry. Univ. Bordeaux, 17 December 2013. Advisor: Christine Bachoc (IMB Univ. Bordeaux). Referees: Eiichi Bannai (Shanghai Jiao Tong Univ.), Didier Henrion (LAAS-CNRS Univ. Toulouse). Committee: Dion Gijswijt (Tech. Univ. Delft), Arnaud Pêcher (LABRI Univ. Bordeaux), Jean-Pierre Tillich (INRIA Rocquencourt), Gilles Zémor (IMB Univ. Bordeaux).

  • PhD: Victor Magron. Formal Proofs for Global Optimization - Templates and Sums of Squares. Ecole Polytechnique, Palaiseau, 9 December 2013. Advisors: Benjamin Werner (LIX Ecole Polytech. Palaiseau), Stéphane Gaubert (INRIA Saclay and CMAP Ecole Polytech. Palaiseau), Xavier Allamigeon (INRIA Saclay and CMAP Ecole Polytech. Palaiseau). Referees: Didier Henrion (LAAS-CNRS Univ. Toulouse), Thomas C. Hales (Univ. Pittsburgh), Yves Bertot (INRIA Mediterranee Nice). Committee: Monique Laurent (CWI Amsterdam), Markus Schweighofer (Univ. Konstanz),

  • PhD: Aurélien Greuet. Optimisation polynomiale et variétés polaires : théorie, algorithmes et implantations. Université de Versailles-Saint-Quentin, 5 December 2013. Advisors: Vincent Cossart (Univ. Versailles-St-Quentin), Mohab Safey El Din (Univ. Pierre-et-Marie-Curie Paris). Referees: Didier Henrion (LAAS-CNRS Univ. Toulouse), Markus Schweighofer (Univ. Konstanz). Committee: Jean-Charles Faugère (INRIA Paris-Rocquencourt), Stéphane Gaubert (INRIA Saclay), Marc Giusti (Ecole Polytechnique Palaiseau).

  • PhD: Mathieu Claeys. Mesures d'occupation et relaxations semi-définies pour la commande optimale. LAAS-CNRS, Toulouse, 8 October 2013. Advisors: Didier Henrion (LAAS-CNRS Toulouse), Jean-Bernard Lasserre (LAAS-CNRS Toulouse). Referees: Marc Quincampoix (Univ. Brest), Hasnaa Zidani (ENSTA Paris Tech). Committee: Jean-Baptiste Hiriart-Urruty (Univ. Toulouse), Emmanuel Trélat (Univ. Pierre et Marie Curie Paris).

  • PhD: Agnès Gorge. Programmation semi-définie positive : méthodes et algorithmes pour la management d'énergie. LRI, Univ. Paris-Sud, Orsay, 26 September 2013. Advisor: Abdel Lisser (LRI Univ. Paris-Sud). Referees: Franz Rendl (Univ. Alpen-Adria Klagenfurt), Didier Henrion (LAAS-CNRS Toulouse). Committee: Sandrine Charousset (EDF R&D), Alain Denise (LRI Univ. Paris-Sud), Abdelatif Mansouri (Univ. Cadi Ayyad Marrakech), Michel Minoux (LIP6 Univ. Pierre-et-Marie-Curie), Riadh Zorgati (EDF R&D).

  • PhD: Mohamed Amin Ben Sassi. Analyse et contrôle des systèmes dynamiques polynomiaux. Université de Grenoble, France, 15 April 2013. Advisors: Guillaume James (Univ. Grenoble), Antoine Girard (Univ. Grenoble). Referees: Jean-Luc Gouze (INRIA Sophia Antipolis), Didier Henrion (LAAS-CNRS Toulouse). Committee: Anatoni Iouditski (Univ. Grenoble), Nacim Ramdami (Univ. Orléans), Jean-Pierre Raymond (Univ. Toulouse).

  • PhD: Florian Bugarin. Vision 3D multi-images : contribution à l'obtention de solutions globales à l'aide de l'optimisation polynomiale par théorie des moments. Ecole des Mines d'Albi, France, 5 October 2012. Advisors: Didier Henrion (LAAS-CNRS Toulouse), Jean-Jose Orteu (Ecole des Mines d'Albi). Referees: Francois Glineur (Univ. Cath. Louvain-la-Neuve), Richard Hartley (Australian Nat. Univ.), Committee: Adrien Bartoli (Faculte de Medecine Clermont-Ferrand), Jean-Bernard Lasserre (LAAS-CNRS Toulouse), Monique Laurent (CWI Amsterdam), Thierry Sentenac (Ecole des Mines d'Albi), Peter Sturm (INRIA Rhone-Alpes).

  • PhD: Houssem Halalchi. Commande linéaire à paramètres variants des robots manipulateurs flexibles. LSIIT-CNRS, Université de Strasbourg, France, 13 September 2012. Advisor: Edouard Laroche (Univ. Strasbourg). Referees: Didier Henrion (LAAS-CNRS Toulouse), Olivier Sename (Inst. Nat. Polytech. Grenoble). Committee: Jamal Daafouz (Univ. Nancy), Michel de Mathelin (Univ. Strasbourg), G. Iuliana Bara (Univ. Strasbourg).

  • PhD: Mioara Maria Joldes. Rigorous polynomial approximations and applications. Ecole Normale Superieure (ENS) de Lyon, France, 26 September 2011. Advisor: Jean-Michel Muller (ENS Lyon). Referees: Didier Henrion (LAAS-CNRS Toulouse), Warwick Tucker (Univ. Uppsala). Committee: Frederic Benhamou (Univ. Nantes), Nicolas Brisebarre (ENS Lyon),

  • PhD: Nicolas Gillis. Nonnegative matrix factorization - complexity, algorithms and applications, Universite Catholique de Louvain (UCL), Belgium, 18 January 2011. Advisor: Francois Gilleur (UCL). Committee: Pierre-Antoine Absil (UCL), Samuel Fiorini (Univ Libre Bruxelles), Didier Henrion (LAAS-CNRS Toulouse), Philippe Lefevre (UCL), Paul Van Dooren (UCL), Sabine Van Huffel (Kath. Univ. Leuven), Stephen Vavasis (Univ. Waterloo).

  • Habilitation: Mohab Safey El Din. Resolution de systemes polynomiaux sur les reels : algorithmes, complexite, implantations et applications. Univ. Pierre et Marie Curie, Paris, 10 december 2010. Committee: Richard Pollack (Courant Institute New York Univ.), Bruno Salvy (INRIA Paris Rocquencourt), Frank Sottile (Texas A&M Univ.), Valerie Berthe (Univ. Denis Diderot Paris), Jean-Charles Faugere (INRIA Paris Rocquencourt), Marc Giusti (Ecole Polytechnique Paris), Didier Henrion (LAAS-CNRS Toulouse), Pierre Sens (Univ. Pierre et Marie Curie Paris), Daniel Lazard (Univ. Pierre et Marie Curie Paris).

  • PhD: Jordan Ninin. Optimisation globale basee sur l'analyse d'intervalles: relaxation affine et limitation de la memoire, Institut National Polytechnique de Toulouse, 8 november 2010. Advisor: Frederic Messine (ENSEEIHT). Committee: Raph Baker Kearfott (Univ. Louisiana), Leo Liberti (Ecole Polytechnique), Pierre Hansen (HEC Montreal), Didier Henrion (LAAS-CNRS Toulouse), Marcel Mongeau (Univ Paul Sabatier Toulouse).

  • PhD: Eduardo Mojica-Nava. A polynomial approach for analysis and optimal control of switched nonlinear systems. Ecole Centrale de Nantes, 22 september 2009. Advisors: Jean-Jacques Loiseau (IRRCyN-CNRS Nantes), Alain Gauthier (Univ. Los Andes Bogotá). Referees: Peter Caines (McGill Univ. Montréal), Didier Henrion (LAAS-CNRS Toulouse). Committee: Nicanor Quijano (Univ. Los Andes Bogotá), Naly Rakoto-Ravalontsalama (Ec. Mines Nantes), Pierre Riedinger (Univ. Nancy).

  • PhD: Wilfried Gilbert. Synthèse polynomiale appliquée à la commande de turboréacteurs. INSA Toulouse, 25 november 2008. Advisors: Jacques Bernussou (LAAS-CNRS Toulouse), Didier Henrion (LAAS-CNRS Toulouse). Referees: Edouard Laroche (Univ. Strasbourg), Olivier Sename (Univ. Grenoble). Committee: Jean-Marc Biannic (ONERA Toulouse), David Boyer (SNECMA), Jean-Luc Fréale (TURBOMECA), Germain Garcia (INSA Toulouse), Christine Pont (SNECMA), Luc Reberga (TURBOMECA).

  • PhD: Marc Fuentes. Analyse et optimisation de problèmes sous contraintes d'autocorrélation. Univ. Paul Sabatier Toulouse, 29 october 2007. Advisor: Jean-Baptiste Hiriart-Urruty (Univ. Paul Sabatier Toulouse). Referees: Maitine Bergounioux (Univ. Orleans), Claude Lemarechal (INRIA Grenoble). Committee: Didier Henrion (LAAS-CNRS Toulouse), Philippe Mahey (ISIMA Clermont-Ferrand), Pierre Marechal (Univ. Paul Sabatier Toulouse).

  • PhD: Luc Reberga. Commande robuste multivariable des turboréacteurs. INSA Toulouse, 30 september 2005. Advisors: Jacques Bernussou (LAAS-CNRS Toulouse), Didier Henrion (LAAS-CNRS Toulouse). Referees: Gilles Duc (SUPELEC Paris), Mohammed M'Saad (ENSI Caen). Committee: Jean-Pierre Bugeat (SNECMA), Germain Garcia (INSA Toulouse), Florian Vary (SNECMA).

  • PhD: Juan Carlos Zuniga Anaya. Algorithmes numériques pour les matrices polynomiales avec applications en commande. INSA Toulouse, 14 september 2005. Advisor: Didier Henrion (LAAS-CNRS Toulouse) Referees: Hisham Abou-Kandil (ENS Cachan), Paul Van Dooren (UCL Louvain-la-Neuve). Committee: Germain Garcia (INSA Toulouse), Javier Ruiz Leon (CINVESTAV Guadalajara), Michael Sebek (CVUT Prague).