NEW: 1 permanent position! (Deadline for applications: 12 May 2016)
ASCOLA is a joint team (a so-called INRIA project-team) of the Automation and Computer Science Departement of École des Mines de Nantes and INRIA's research center in Rennes. ASCOLA is also a team of Laboratoire Informatique de Nantes Atlantique (LINA, UMR CNRS 6241).
The research team addresses the general problem of evolving software by developing concepts, languages, implementations and tools for building software architectures based on components and aspects. 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.
We pursue the following objectives:
Finally, we apply and validate our results based on real-world applications from numerous domains, notably enterprise information systems, the Cloud, and pervasive systems.
|The goal of this ERC project is to go further in the correspondence between proofs and programs which has allowed in the last 20 years the development of useful proof assistants, such as Coq.|
Web: CoqHoTT home
|An OpenResearch Initiative for a Fully Decentralized IaaS manager|