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.

Writing

March 4, 2026

The Foundation

The internet was built for humans. The next economy won't be. The Foundation introduces the PAW Protocol—Personal AI Wallet—the transactional infrastructure for a multi-species economy where humans and AI agents are sovereign, equal participants.

Read on Paragraph →
February 25, 2026

The Engine

Decentralized protocols sit on $50 billion in treasury assets—almost none actively managed. The Engine builds AI-powered treasury management that executes within governance-approved mandates. Institutional finance meets DeFi rails. Not another yield aggregator—intelligent treasury management.

Read on Paragraph →
February 16, 2026

The Stage

The global competition economy spans trillions—esports, hackathons, art, film, data science—and almost none of it works. The Stage builds the Apex Protocol: universal competition infrastructure with provably fair economics. Not new platforms—new economics.

Read on Paragraph →
February 8, 2026

The Heart

Downloadable cognitive models for socially assistive robots. A decentralized marketplace for the “brains” that let machines care for 55 million dementia patients and bridge a 13 million healthcare worker shortage. Not better hardware—better souls.

Read on Paragraph →
January 28, 2026

The Fuel

When AI agents handle purchasing, the $876B advertising industry built on emotional manipulation becomes obsolete. The Fuel builds intent-matching infrastructure where consumers broadcast demands, suppliers broadcast capabilities, and matching agents optimize for quality—not ad spend.

Read on Paragraph →
January 10, 2026

The Shield

$2.2 billion stolen from Web3 in 2024 because traditional auditing can’t keep up. The Shield uses AI to automate formal verification—mathematical proof that smart contracts behave exactly as intended. Security as infrastructure, not afterthought.

Read on Paragraph →
January 3, 2026

The Origin

An AI-powered venture studio that walks founders from idea to launched company in 12 weeks. Six specialized agents guide every dimension. Zero-Knowledge Proofs let founders prove capability without exposing their IP.

Read on Paragraph →
December 13, 2025

How to Participate

Five paths into The Forge: Builder, Developer, Contributor, Supporter, Explorer. The practical guide to joining the seven Genesis ventures, with applications opening Spring 2026.

Read on Paragraph →
December 6, 2025

$FORGE: The Token That Doesn’t Want to Be Bought

A token designed to resist speculation. Zero team liquid tokens at launch, zero VC allocation, demand-based release tied to ecosystem activity. Voting power rewards time and contribution, not capital.

Read on Paragraph →
December 3, 2025

The Harvest Model

The Forge’s operational model inverts traditional infrastructure building. Instead of building protocols and hoping for adoption, fund real startups, require open standards, then extract battle-tested components as public infrastructure.

Read on Paragraph →
November 29, 2025

Why We’re Becoming a DAO

Building sovereignty infrastructure while practicing hierarchy is a contradiction. THE FORGE DAO follows a four-phase progressive decentralization plan, with the ultimate goal of making its founders obsolete.

Read on Paragraph →
November 26, 2025

The Sovereignty Thesis

2025–2030 is a closing window comparable to the Renaissance. AI drives coordination costs to zero, blockchain drives trust costs to zero, and mass consciousness demands alternatives. If sovereignty infrastructure isn’t built now, the window closes.

Read on Paragraph →
November 23, 2025

Breaking News: The Seventh Nexus

An unplanned discovery during a strategic conversation: infrastructure for human sovereignty is incomplete without enabling AI agents as first-class economic citizens. The seventh layer—Autonomous Agents.

Read on Paragraph →
November 19, 2025

The Six Nexi

Six foundational infrastructure layers, each eliminating a core friction that prevents individual sovereignty at scale: Venture Creation, Trust & Privacy, Resource Allocation, Value Exchange, Financial Support, and Social Coordination.

Read on Paragraph →
November 12, 2025

The Forge Opens

The origin story of Fucina Nexus Foundation, told through a conversation on November 3, 2025. How two Renaissance artisans—a blacksmith and sculptor—revealed why coordination costs falling to zero changes everything.

Read on Paragraph →
Read all posts on Paragraph →

From the Hyperuranium

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

Plasma The Heart

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 The Engine · The Foundation

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 The Heart

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 The Foundation · The Fuel

Algebra of Intentions

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

Plasma The Origin · The Foundation

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 The Shield

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 The Engine · Fininverse

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. 7 Ventures. Sovereign infrastructure for the multi-species economy.