~~NOCACHE~~
---- datatemplateentry ----
template    : en:templates:equipe
type        : Thematic team
nom         : Algebra and computation
nomcourt    : algebre
responsable : ehrhard
pole        : pps
---- 

\\ === Research themes ===
 
A deep understanding of computation requires the development of sophisticated mathematical tools, while bringing new ideas to mathematics. This includes the construction of abstract models of probabilistic and quantum programs, and the use of geometric and topological structures to describe concurrent or distributed computation. We also use and study the general notions of monads, operads, and species of structures to represent data structures and computational mechanisms (like effects using internal states or memory), and of higher-dimensional categories to model type theory in a homotopic setting. Finally, rewriting theory is a major objective of this thematic team, in particular for its applications to algebra and categories, but for the description of operational semantics of various types of lambda-calculi, concurrent systems and probabilistic languages. 

/*
{{ patates.svg?500 |Activités de recherche}}
*/

\\ === Seminar and working groups ===

[[::en:seminaires:pps:]] \\
[[::en:seminaires:cat:]] \\
[[::en:seminaires:semantique:]] \\

/*
\\ === Members ===

{{page>.:db:annuaire}}
*/
\\ === Permanent members  ===

{{page>.:db:annuaire_perm_en}}

\\ === Non-permanent members ===

{{page>.:db:annuaire_noperm_en}}