Dr. Davide D'Aprile

Foundation President / Computer Scientist / Pianist

Scroll to enter the fucina
Dr. Davide D'Aprile

The Arc

1987

Conservatorio di Musica "G. Verdi", Turin

Piano. Ten years of discipline.

2001

PhD in Computer Science, University of Turin

Formal methods for system analysis. Model checking deterministic, probabilistic, and stochastic systems.

2020 Book Chapter

Industry4.0

E. Calia, D. D’Aprile — Analytics for the Sharing Economy, Springer

2011 CILC

Verifying Compliance of Business Processes with Temporal Answer Sets

D. D’Aprile, L. Giordano, V. Gliozzi, A. Martelli, G.L. Pozzato, D. Theseider Dupré

2010 CLIMA

Verifying Business Process Compliance by Reasoning about Actions

D. D’Aprile, L. Giordano, V. Gliozzi, A. Martelli, G.L. Pozzato, D. Theseider Dupré

2007 Thesis

Timed and Stochastic Model Checking of Petri Nets

D. D’Aprile — Università degli Studi di Torino

2007 TACAS

From Time Petri Nets to Timed Automata: An Untimed Approach

D. D’Aprile, S. Donatelli, A. Sangnier, J. Sproston

2006 ACSD

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools

D. D’Aprile, D. Cerotti, S. Donatelli, J. Sproston

2004 ISCIS

CSL Model Checking for the GreatSPN Tool

D. D’Aprile, S. Donatelli, J. Sproston

View on ResearchGate →
2015

Dubai — Smart Dubai Government & Dubai Holding

AI and blockchain before the world caught on. Five years building at the intersection, including a $68M project.

2020

The Thesis

Three years of independent research into the convergence of AI, blockchain, and human consciousness.

2025

Fucina Nexus Foundation

The forge is lit.

Music

Classical piano. Conservatorio G. Verdi, Turin.
Composition, performance, the mathematics of harmony.

Recordings and compositions coming soon.

From the Hyperuranium

Where ideas exist before they take form. Seven plasmas—raw, unforged, waiting.

Plasma

The Synthetic Connectome

Synthetic hormones—cortisol, dopamine, oxytocin, serotonin—that modulate how AI agents think. Not what to reason about, but the mood of reasoning.

Plasma

Personal Assistant Wallet

A wallet that IS an AI agent. It manages your treasury, negotiates, transacts—a first-class economic citizen in the multi-species economy.

Plasma

Universal Robotics Driver

DirectX for robots. A unified abstraction layer that lets the same assistive behavior run on any compliant platform. Commoditize hardware, unleash software.

Plasma

Algebra of Intentions

A formal algebraic framework where supply and demand meet through mathematical compatibility—not keywords, not auctions. Provably optimal matching.

Plasma

Trajectories of Sparks

Tamper-proof data structures that certify the lineage of human-AI collaboration. Who contributed what, provably, as ideas evolve from spark to product.

Plasma

Novel State Space Representation

A next-generation way to represent program state for formal verification—beyond explicit enumeration, beyond BDDs. Making the intractable tractable.

Plasma

F-JEPA

A financial world model that predicts abstract market states—not prices. LeCun’s JEPA architecture applied to finance: noise suppression by design, counterfactual simulation without execution, hierarchical planning across time horizons.

Fucina Nexus Foundation restores human sovereignty through the industrialization of trust—building infrastructure for a multi-species economy where humans and AI agents are equal participants.

7 Nexi. 13 Ventures. Sovereign infrastructure for the multi-species economy.