UPJV UR 4290
Le laboratoire 
(Modélisation, Information & Systèmes) fédère des enseignants-chercheurs de l’UPJV en Informatique, Automatique, Robotique et Vision par ordinateur. Les objectifs scientifiques du laboratoire s’inscrivent dans les thématiques des Sciences et techniques de l’information et de la communication (STIC). Les travaux de recherche qui y sont développés trouvent de nombreuses applications : Véhicule, Cybersécurité, Énergie, Robotique, Musique, Patrimoine, Santé...
L’animation scientifique s’effectue au niveau des 4 équipes de recherche intégrées à l’unité. Pour atteindre sa mission scientifique, le MIS s’appuie sur un effectif de 80 personnes dont 40 enseignants-chercheurs, 35 doctorants et 4 personnels administratifs et techniques, mais aussi sur un précieux réseau de partenaires industriels et académiques.
Audrey Ambles soutient sa thèse de doctorat le mercredi 17 Décembre 2025 à 14h00, à la salle des soutenances de thèses de l'École doctorale sciences, technologies, santé à Amiens
Jury
Eva Goichon soutient sa thèse de doctorat le lundi 15 décembre 2025 à 10h00, à la salle des thèses de l’École doctorale Sciences, Technologies, Santé, à Amiens.
Jury
Reda ACHDAD soutient sa thèse de doctorat le vendredi 12 Décembre 2025 à 9h00, à la salle des thèses de l'École doctorale sciences, technologies, santé à Amiens
Jury
Sous la direction de Chu-Min Li (OCIA), l’équipe a obtenu une victoire éclatante lors de la SAT Competition 2025. Ce succès s’inscrit dans la lignée des médailles d’or remportées en 2009, 2017 et 2022, témoignant ainsi de l’impact significatif des Grands Modèles de Langage (LLM) dans l’optimisation des algorithmes les plus complexes.
Le Problème SAT : Un Défi Fondamental
Le problème de la Satisfiabilité (SAT) est le premier problème à avoir été prouvé NP-complet, le plaçant au cœur de l'informatique théorique, des mathématiques, de l'intelligence artificielle et du génie logiciel.
