MISC Lab., le laboratoire MISC est créé en 2008 et officiellement agréé le 25 mars 2010 sous le n°93. Le conseil du laboratoire est composé des chefs d’équipe et des chefs de projets (CNEPRU, PNR, etc.).
Axes de recherche:
Les axes de recherche sont résumés dans les points suivants:
- Systèmes temps-réel
- Systèmes distribués
- Méthodes formelles pour la conception des systèmes complexes
- Modèles de spécification et modèles sémantiques du parallélisme
- Méthodes de vérification des systèmes complexes
- Métaheuristiques et résolution de problèmes complexes
- Systèmes complexes
- Biotechnologie et bioinformatique
- Métaheuristiques et optimisation
- Prises de décisions
- Vision artificielle et réalité augmentée
- Traitement parallélisme et systèmes distribués
- Langages de spécification, de description et de vérification des systèmes distribués
- Transformation de modèles et transformation de graphes
- Ingénierie dirigée par les modèles
- Réseaux de Petri
- Logique de réécriture
- Simulation de systèmes complexes, informatique et développement
- Traitement et synthèse d’image
- Dépôts de données
- Systèmes multi-agents
- Bases de connaissances spatiales et systèmes d’information avancés
- Informatique quantique
- Interface Homme-Machine
- Data Mining, extraction d’information et systèmes à accès Web
Mots-clés:
Systèmes d’information géographiques, Méthodes formelles, Système complexes, Métaheuristiques, Biotechnologie, Bases de connaissances spatiales, Ontologies, Systèmes distribués, Transformation de graphes, Dépôts de données, Interface Homme-Machine, Systèmes temps réel, et Ingénierie des modèles.