Matthieu Py Email & Phone Number

Montluçon, Fr

Montluçon, Auvergne-Rhône-Alpes, France

Thèmes de recherche : recherche opérationnelle, programmation par contraintes, optimisationPublications scientifiques internationales :- Application of SAT to the Simple Assembly Line Balancing Problem with Power Peak Minimization, Matthieu Py, Arnauld Tuyaba, Laurent Deroussi, Nathalie Grangeon and Sylvie Norre,15th Pragmatics of SAT international workshop, workshop of the 27th International Conference on Theory and Applications of Satisfiability Testing, August 20, 2024, Pune, India- A preliminary Case Study on University Course Timetabling using Constraint Programming and Operations Research, Matthieu Py and Mohamed Amir Keskes, First International Workshop on Discrete Optimization with Soft Constraints, Held in conjunction with 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2, 2024, Campus Barri Vell, University of Girona, Catalonia, SpainThèmes d'enseignement : programmation impérative, recherche opérationnelle, programmation linéaire, algorithmique, bases de donnéesListe des enseignements pris en charges : - Programmation Linéaire (BUT 3 MLT)- Optimisation et Aide à la Décision (BUT 3 MLT)- Modélisation des Processus Métiers (BUT 3 MLT)- Théorie des Graphes (BUT 2 MLT)- Gestion des Bases De Données (BUT 2 MLT)- Initiation au Développement d'Applications Informatiques (BUT 2 MLT)- Conception de Solutions Logistiques (BUT 2 MLT)

Montluçon, Auvergne-Rhône-Alpes, France

Thèmes de recherche : recherche opérationnelle, programmation par contraintesThèmes d'enseignement : programmation impérative, recherche opérationnelle, programmation linéaire, algorithmique, bases de données, statistiquesPublications scientifiques dans des revues internationales : - Proofs and Certificates for Max-SAT (JAIR 2022)Publications scientifiques dans des conférences internationales : - Proofs and Certificates for Max-SAT (Extended Abstract) (IJCAI 2023)Publications scientifiques dans des conférences nationales : -Résolution du problème SALB3PM grâce à une approche SAT (ROADEF 2023)-Utilisation de SAT pour résoudre le problème SALBP avec minimisation du pic de consommation (JFPC 2023)Liste des Unités d'Enseignements prises en charge : -Initiation à la programmation et en VBA (Licence 3 LOGIN)-Ordonnancement de la production (Licence 3 LOGIN)-Planification de la production (Licence 3 LOGIN)-Analyse des flux métiers (Licence 3 LOGIN)-Théorie des graphes (BUT 2 MLT)-Gestion des bases de données (BUT 2 MLT)-Conception de solutions logistiques (BUT 2 MLT)-Statistiques et prévisions (BUT 1 MLT)

Marseille, Provence-Alpes-Côte D’Azur, France

Thèmes de recherche : algorithmique, intelligence artificielle, recherche opérationnelleThèmes d'enseignement : algorithmique, programmationPublications scientifiques dans des conférences internationales : - From Crossing-Free Resolution to Max-SAT Resolution (CP 2022)Publications scientifiques dans des conférences nationales : - Certificats d'optimalité pour Max-SAT (JFPC 2022)- Max-SAT réfutations et oracles SAT (JFPC 2022)- Explication de clauses et de formules dans Max-SAT (JFPC 2022)- De la résolution à la max-résolution (JFPC 2022)Liste des Unités d'Enseignements prises en charge : -Introduction à l'Informatique (PES & Portail Descartes)-Programmation 1 (Portail Descartes)-Algorithmique 1 (Licence 2 Informatique)-Algorithmique 2 (Licence 3 Informatique)-Algorithmique et Structures Discrètes (Licence 3 Informatique et Mathématiques)

Région De Marseille, France

Thèmes de recherche : algorithmique, intelligence artificielle, recherche opérationnelleThèmes d'enseignement : algorithmique, programmationPublications scientifiques dans des conférences internationales : - Inferring clauses and formulas in Max-SAT (ICTAI 2021)- Computing Max-Refutations using SAT Oracles (ICTAI 2021)- A Proof Builder for Max-SAT (SAT 2021)- Towards Bridging the Gap Between SAT and Max-SAT Refutations (ICTAI 2020)Publications scientifiques dans des conférences nationales : - Des Réfutations SAT aux Réfutations Max-SAT (JFPC 2021)Liste des Unités d'Enseignements prises en charge : -Mise en Œuvre Informatique (PES Descartes et Portail Descartes)-Introduction à l'Informatique (Portail Descartes)-Programmation 1 (Portail Descartes)-Algorithmique 1 (Licence 2 Informatique)-Projet Informatique (Licence 3 Informatique)

Région De Nantes, France

Modélisation mathématique et développement d'un outil d'optimisation permettant de générer automatiquement des emplois du temps. Technologies utilisées : Java (langage de programmation), LocalSolver (solveur d'optimisation). Excel (fichiers d'entrée et de sortie du logiciel)

Enseignant certifié en mathématiques au lycée général et technologique Frédéric Joliot-Curie à Aubagne.Classes prises en charge : seconde générale, première sciences et technologies du management et de la gestion.

Région De Marseille, France

Stage de recherche scientifique en algorithmique distribuée au cours duquel j'ai travaillé dans la recherche d'algorithmes efficaces pour résoudre le problème du rendez-vous.Le problème du rendez-vous est, dans sa version distribuée, un problème dont on sait qu'il ne peut exister de méthode déterministe permettant de le résoudre de manière certaine en un temps fini. Cependant, peut-on se restreindre à certaines hypothèses et pouvoir trouver des méthodes pour résoudre le problème lorsqu'il peut être résolu ? Dans cette expérience de la recherche, j'ai effectué comme hypothèse principal le fait que les agents mobiles possèdent la carte du graphe dans lequel ils sont avec leur position.

Région De Marseille, France

En tant que tuteur informatique, mon rôle était d'ouvrir à destination des étudiants un ensemble de salles informatique de l'Université d'Aix-Marseille. Sur place, je veillais au respect des conditions élémentaires de sécurité et de comportement des usagers et je venais en aide aux étudiants, qui, pour certains notamment, venaient réaliser des programmes informatiques. Technologies : majoritairement langage C

Doctorat, Computer Science

"Inférence et certificats pour le problème de satisfiabilité maximum"

Master Mathématiques Appliquées Et Statistiques, Spécialité Recherche Opérationnelle Et Aide À La Décision

Exemples d'Unités d'Enseignements : -Programmation linéaire -Programmation en variables entières -Outils logiciels pour l'optimisation.

Capes Externe, Enseignement Des Mathématiques

Activities and Societies: Professeur de mathématiques. Préparation au CAPES Externe de mathématiques.

Master Informatique Fondamentale, Informatique, Mention Assez Bien

Exemples d'Unités d'Enseignements : -Algorithmique distribuée -Modélisation et recherche opérationnelle -Algorithmes à performance.

Licence D'Informatique-Mathématiques, Mathematics And Computer Science, Mention Assez Bien

Exemple d'Unités d'Enseignement : -Bases de données -Géométrie algorithmique -Mathématiques discrètes

Baccalauréat Scientifique, Spécialité Mathématiques, Mention Bien

Activities and Societies: Participation aux olympiades de mathématiques (2008)