Discover the scientific foundation of our products through our library of published research and innovations.
Florian Herzog moderates a panel at AI House Davos during the World Economic Forum 2026, exploring the limitations of relying solely on Large Language Models for industrial AI and the need for domain-specific approaches incorporating causal reasoning, knowledge graphs, and multiple AI modalities to deliver measurable business results.
Florian Herzog discusses on SRF’s Südostschweiz Standpunkte how artificial intelligence is reshaping daily life – from writing and image generation to employment screening, credit decisions, and medical diagnostics – and what it means for work, society, and our perception of reality.
Copenhagen Fintech supported R&D projects testing Smart Financial Instruments (SFIs) under EU financial regulation, including the DLT Pilot Regime. The platform enables trading of various instruments including bonds, crypto assets, and carbon credits with instantaneous clearing and settlement in fiat currencies.
The Danish Financial Supervisory Authority (DFSA) tested Deon Digital's SFI system in its regulatory sandbox FT Lab. Results showed the DLT-based trading and settlement system can automate the securities lifecycle, execute trades within seconds, and may qualify for exemptions under the EU DLT Pilot Regulation.
Description of SFI architecture, its applicability to new financial products such as green bonds, and its evaluation in the context of financial regulation, specifically the EU DLT Pilot regime.
Design, implementation of a shallow embedded domain-specific language for digital contracts in the functional programming language Haskell. CSL2 expresses that it is based on compositional specifications similar to original CSL design. MS thesis.
Fully mechanized specification of semantics and equivalences of the propositional core of CSL in Coq.
Algebraic model for resource preservation that generalizes “no-double-spend” to arbitrary numbers of digital asset types and extends it to resource transformations (production of one product from other products). MS thesis.
Fully mechanized formalization of semantics and abstract interpretation of a core of CSL, including mechanized correctness of multiple semantics and of compositional abstract interpretation framework.
An algebraic model for “real”, financial and business calendars based on a free algebra of durations and their mapping to conventional Western calendars; illustrates their use in date count conventions. Predecessor to The 31/372 Calendar.
Mathematical and conceptual foundation of DLT architecture and scalability underlying Smart Financial Instruments (SFI) system.
Domain-specific language based contract interpretation on public blockchain systems, specifically Ethereum. Note: The DSL is based on Eber-Peyton Jones's original language, which motivated the development of CSL.
Generalized and extended variant, including implementation of small example system, of POETS system architecture for enterprise systems.
Extended trace-based formal model of compositional contracts with blame assignment; included in Tom Hvitved's dissertation.
Multiparty contract model based on the originally nameless compositional contract specification language CSL and other results on DSL implementation technology. Ph.D. dissertation.
Enterprise system architecture based on an extended resource-events-agents (REA) model of resource accounting and compositional domain-specific languages for specifying information (purely functional reports) and processes (compositional contracts and workflows) on top of events.
Compositional specification of formal contracts; the core “CSL paper”. The “original” compositional contract specification language and its denotational, relational and various small-step operational semantics.
First conference paper on compositional contract specification.