Home » The teams

The teams

  • Correct software components
  • Multiformalism and multifaceted system analysis
  • Software architecture
  • Probabilistic models, competition semantics, associated verification tools
AeLoS
  • Environments-based design
  • Interactions with the environment
  • Perception of the environment
ARMEN
  • compositional definition and implementation of complex software systems
  • Programming techniques and algorithms for resource management in mutualized environments
  • Formal theories for and apply formal methods to the correctness of software systems
  • Enterprise information systems, the Cloud, and pervasive systems
ASCOLA
AtlanModels
  • From genome to graph comparison
  • From biological process modeling to community modeling
  • Linking modeling scales to extract biomarkers
  • Bioinformatics developments
COMBI
  • Dynamic systems
  • Ordering and Observation
  • Areas of applications
Commande
  • User involved in the process of data collection
  • User involved in the learning/mining process
  • Mining users activity data
  • Learning / mining with relational, structured or linked data
DUKe
Gallinette
  • Distributed systems
  • Web, Semantic Web
GDD
  • Discreet representation of information
  • Representation and perception: psychovisual models
  • Interaction and perception: image quality and Quality of Experience
  • Representation and multimedia communication
  • Interpretation: learning and pattern recognition for structured handwritten documents
IPI
  • System performance
  • Information models and systems
  • Knowledge engineering
IS3P
  • Dynamic modeling
  • Static modelling
  • Formalization of Biological Knowledgeation de la Connaissance Biologique
MéForBio
Naomod
  • Validated Computing
  • Solving and Global Optimization
  • Robotics, Control Theory and Automated Design
OGRE
  • The cooperating man
  • Human and virtual
  • People at the heart of the product
PACCE
  • Expertise in flow simulation
  • Optimal control of industrial systems
  • Taking into account the human factor in scheduling policies
  • Design of Cyber-Physical Production Systems
PSI
  • Action bio-inspired
  • Perception of bio-inspired environment
  • Assistance and support to the human
  • Bio-inspired design
ReV
  • Wireless networks for IoT
RIO
  • Pilotage intelligent des procédés de fabrication et d’assemblage
  • Robotique au service de la personne et pour la santé
RoMas
  • Modèles et méthodes pour la résolution de problèmes inverses
  • Apprentissage machine pour la décision assistée par ordinateur
  • Outils mathématiques et numériques pour le calcul en grande dimension
  • Conception d'outils pour des applications dans des contextes multidisciplinaires
SIMS
  • Thèmes transversaux et fondamentaux
SLP
Stack
STR
TALN
TASC
Copyright : LS2N 2017 - Legal mentions - 
 -