Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente |
| equipes:systemes:index [27/10/2017 08:15] – treinen | equipes:systemes:index [17/09/2024 12:29] (Version actuelle) – supprimée calvi |
|---|
| ---- datatemplateentry ---- | |
| template : templates:equipe | |
| type : Équipe thématique | |
| nom : Analyse et conception de systèmes | |
| nomcourt : systemes | |
| responsable : treinen | |
| pole : pps | |
| ---- | |
| |
| \\ === Thèmes de recherche === | |
| |
| Notre objectif est de développer des méthodes formelles ou mathématiques pour modéliser des systèmes existants, naturels ou artificiels, et pour résoudre des problèmes concrets. Cette thématique est très liée à [[http://www.irill.org|l'IRILL]], avec laquelle nous développons des méthodes pour rendre plus sûre et plus efficace la distribution de systèmes logiciels de grande dimension. Nous développons des langages de programmation adaptés à des domaines d'application particuliers, comme les bases de données ou le web. Nous mettons aussi au point des outils probabilistes, graphiques, à base de réécriture ou d'algèbres de processus pour modéliser des systèmes concurrents. | |
| |
| En application, le pôle souhaite poursuivre et développer son activité pluridisciplinaire tournée vers la biologie des systèmes et la modélisation. Nos activités sont aussi historiquement connectées à la [[https://www.softwareheritage.org|fondation Software Heritage]], créée par des membres de PPS, et dont nous soutenons le développement. | |
| |
| {{ patates.svg?500 |Activités de recherche}} | |
| |
| \\ === Annuaire === | |
| |
| {{page>.:db:annuaire}} | |