Project : cristal

Section: Dissemination

Industrial relations

Sandrine Blazy is scientific collaborator at BFD, a company that experiments with Coq and OCaml to formally specify a domain-specific language devoted to information systems for financial institutions.

Pierre Weis is scientific collaborator at LexiFi, a start-up company that use Caml to design and implement a domain-specific language devoted to formal description and pricing of financial contracts.