---- datatemplateentry ----
template    : templates:equipe
type        : Équipe thématique
nom         : Analyse et conception de systèmes
nomcourt    : systemes
responsable : jkrivine
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}}
*/

  * L'assistant de preuves Coq
  * Le protocol de routage Babel
  * Langages de programmation
  * Composants logiciels
  * Systèmes concurrents et probabilistes
  * Réécriture linéaire

\\ === Séminaire et groupes de travail ===

[[::seminaires:pps:]] \\
[[::seminaires:acs:]] \\
[[::seminaires:programmation:]]\\
[[::seminaires:types:]]

\\ === Permanents  ===

{{page>.:db:annuaire_perm}}

\\ === Non-permanents ===

{{page>.:db:annuaire_noperm}}