L'équipe

 We develop new concepts and techniques for the declarative construction of efficient and correct large-scale distributed software systems.

The team addresses the general problem of developing and evolving software by new concepts, languages, implementations and tools for building software for large-scale, mostly distributed software systems, notably the Cloud. Its long term goal is the development of new abstractions for the programming of software architectures, their representation in terms of expressive programming languages, and their correct and efficient implementation.

Thématiques de l'équipe