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.

Actualité

Victoire Triomphale à la SAT Competition 2025

06 déc 2025
Type
Actualité

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.

UPJV