Infos pratiques

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:

  1. Systèmes temps-réel
  2. Systèmes distribués
  3. Méthodes formelles pour la conception des systèmes complexes
  4. Modèles de spécification et modèles sémantiques du parallélisme
  5. Méthodes de vérification des systèmes complexes
  6. Métaheuristiques et résolution de problèmes complexes
  7. Systèmes complexes
  8. Biotechnologie et bioinformatique
  9. Métaheuristiques et optimisation
  10. Prises de décisions
  11. Vision artificielle et réalité augmentée
  12. Traitement parallélisme et systèmes distribués
  13. Langages de spécification, de description et de vérification des systèmes distribués
  14. Transformation de modèles et transformation de graphes
  15. Ingénierie dirigée par les modèles
  16. Réseaux de Petri 
  17. Logique de réécriture
  18. Simulation de systèmes complexes, informatique et développement
  19. Traitement et synthèse d’image 
  20. Dépôts de données
  21. Systèmes multi-agents
  22. Bases de connaissances spatiales et systèmes d’information avancés
  23. Informatique quantique
  24. Interface Homme-Machine
  25. 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.