EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Master: N. Beldiceanu , Constraint (Master ORO ), 30h, M2, Nantes University, France.

  • Master: N. Beldiceanu , Logic Programming, 32h, M2, Mines de Nantes, France.

  • Master: N. Beldiceanu , Gipad end project, 8h, M2, Mines de Nantes, France.

  • Licence: N. Beldiceanu , Imperative Programming, 12h, L3, Mines de Nantes, France.

  • Licence: N. Beldiceanu , Interface, 12h, L3, Mines de Nantes, France.

  • Master: G. Chabert , Non-linear programming, 20h, M2, Mines de Nantes, France.

  • Master: G. Chabert , Non-linear optimization, 20h, M1, Mines de Nantes, France.

  • Master: G. Chabert , Non-linear optimization, 24h, M1, Nantes University, France.

  • Licence: G. Chabert , Variational calculus, 12h, L3, Mines de Nantes, France.

  • Licence: G. Chabert , Numerical methods, 21h, L3, Mines de Nantes, France.

  • Licence: G. Chabert , Simulation and parameter estimation, 18h, L3, Mines de Nantes, France.

  • Licence: G. Chabert , Numerical integration, 15h, L3, Mines de Nantes, France.

  • Licence: G. Chabert , Supervisions of projects, 66h.

  • Master: X. Lorca , Head of the major of the Master in Engineering, Computer Science for Decision Support, 30h, M2, Mines de Nantes, France.

  • Master: X. Lorca , Algorithms and Complexity, 20h, M1, Mines de Nantes, France.

  • Master: X. Lorca , Data Warehouse and Data Analysis, 20h, M1, Mines de Nantes, France.

  • Master: X. Lorca , Graph Theory, Algorithms, 20h, M1, Mines de Nantes, France.

  • Master: X. Lorca , Business Intelligence, 20h, M2, Mines de Nantes, France.

  • Master: X. Lorca , IT System and Software Development, 20h, M2, Mines de Nantes, France.

  • Master: X. Lorca , Implementation Project, 20h, M2, Mines de Nantes, France.

  • Licence: E. Monfroy , Algorithm, 40h, L1, Nantes University, France.

  • Licence: E. Monfroy , Algorithm 2, 16h, L2, Nantes University, France.

  • Licence: E. Monfroy , Logic, 40h, L2, Nantes University, France.

  • Licence: E. Monfroy , Language theory, 96h, L3, Nantes University, France.

  • Master: T. Petit , Director of the Discrete Optimization degree, M2, GIPAD, Mines Nantes, France.

  • Master: T. Petit , Director of the Artificial Intelligence and Constraint Programming degree, M2, GIPAD, Mines Nantes, France.

  • Master: T. Petit , Scheduling and optimization, M2, 18h, Mines de Nantes, France.

  • Master: T. Petit , Constraint Programming in Choco, M2, 20h, Mines de Nantes, France.

  • Master: T. Petit , Supervisor of two final 6 months projects, M2, 12h, Mines de Nantes, France.

  • Licence: T. Petit , Data structures, L2, 20h, Mines de Nantes, France.

  • Licence: T. Petit , SQL, L2, 19h, Mines de Nantes, France.

  • Licence: T. Petit , HMI, L2, 13h , Mines de Nantes, France.

  • Licence: T. Petit , Data processing integration in HMI, L2, 10h, Mines de Nantes, France.

  • Licence: T. Petit , Java, L1, 40h, Mines de Nantes, France.

  • Licence: T. Petit , IPIPIP project, L1, 5h, Mines de Nantes, France.

  • Licence: T. Petit , ACDC project, L1, 7.5h, Mines de Nantes, France.

  • Master: F. Richoux , Constraint Programming, 12h, M2, University of Nantes, France.

  • Licence: F. Richoux , Design Patterns in Object-Oriented Programming, 86h, L3, University of Nantes, France.

  • Licence: F. Richoux , Algorithm and Data Structures, 45h, L2, University of Nantes, France.

  • Licence: F. Richoux , Introduction to Computer Science, 28h, L1, University of Nantes, France.

  • Licence: Charlotte Truchet , Algorithms and Programming, 46h, L1, University of Nantes, France.

Supervision

  • PhD: Arnaud Letort, Scalable multi-dimensional resources scheduling constraints [11] , Nantes University, October 28 2013, Nicolas Beldiceanu .

  • Internship of Julie Laniau with Charlotte Truchet on using constraints for checking audio real time programs (from February 2013 to June 2013).

  • PhD in progress: Bruno Belin, Interactive conception of sustainable urban environments with constraints, September 2011, Charlotte Truchet , Marc Christie, Fréderic Benhamou .

  • PhD in progress: Jean Guillaume Fages, Graph Theory in Constraint Programming, Theory and application to several graph covering problems, October 2011, Xavier Lorca , Nicolas Beldiceanu .

  • PhD in progress: Charles Prud'Homme , Controlling Propagation and Search within a Constraint Solver, October 2011, Xavier Lorca , Narendra Jussien , Rémi Douence , defense planned for February 2014.

  • PhD in progress: Alban Derrien, Constraint propagation with limited time complexity, October 2012, Thierry Petit , Nicolas Beldiceanu .

  • PhD in progress: Ignacio Sala Donoso, Packing curved shapes, May 2013, Gilles Chabert , Nicolas Beldiceanu .

  • PhD in progress: Alejandro Reyes Amaro, New parallel algorithms for combinatorial optimization, October 2013, Florian Richoux , Eric Monfroy .

Juries

  • N. Beldiceanu , Member of the PhD committee of the thesis of Arnaud Letort (Univ. Nantes, October 28, 2013).

  • G. Chabert , Member of the PhD committee of the thesis of Remy Guyonneau (ISTIA Angers).



previous Previous | up Home | Next next