~~NOCACHE~~
---- datatemplateentry ----
template    : en:templates:equipe
type        : Thematic team
nom         :  Programs and Languages (PL)
nomcourt    : programmes
responsable : jkrivine
pole        : pps
----

\\ === Research themes ===

The thematic team "Programs and Languages" (PL) covers the activities of the PPS pole, primarily focusing on the design of programs, protocols, or programming languages that are based on or modeled by theoretical tools, most of which are studied within the pole. The team's objective is to bridge the gap between engineering practice and fundamental computer science. A non-exhaustive list of our areas of interest and contributions includes:
  * The design of general-purpose or domain-specific programming languages: 
        * Functional programming (Ocaml), Concurrent programming (Elixir), Synchronous programming (Heptagon), and Probabilistic programming (ProbZelus) 
        * Coq (proof assistant) and its applications to software verification or mathematics education, Cduce (XML-oriented functional language), Kappa (DSL for molecular biology, based on graph rewriting)
  * The study and design of distributed systems and the protocols that implement them: Babel (routing protocol), smart contracts for Blockchain (modeling and verification of distributed systems)

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

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

/*
\\ === Members ===

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

{{page>.:db:annuaire_perm_en}}

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

{{page>.:db:annuaire_noperm_en}}