1Research areas
Autonomous multi-agent systems
Coordination, verification, and safe delegation for agents that act on real systems.
Post-quantum cryptography
Hybrid key exchange and signatures sized for constrained devices and networks.
Consensus mechanisms
Energy-efficient, high-throughput agreement for applications with demanding governance.
Spatial computing
Interfaces for spatial data, sensing, and on-device perception.
2Method
Questions are chosen because a product can use the answer. Every cycle is scoped to the smallest prototype that can confirm or refute a stated threshold, evaluated honestly, and written up with methods, results, and limits.
Prototypes that pass ship with the documentation and IP terms a partner needs to adopt them. Those that fail ship as negative findings — often the more valuable artifact for the next team.
outcome = threshold(prototype, evidence) ∈ { transfer, iterate, retire } (1)
require question q, threshold τ, budget ≤ 4 weeks
1: baseline ← measure(current_state) ▹ week 1
2: p ← smallest_prototype(q) ▹ weeks 2–3
3: e ← evaluate(p, τ) ▹ reported as measured
4: return transfer(p) if e ≥ τ else report(e)
3Programs and data boundaries
| Stage | Scope | Description |
|---|---|---|
| Program | sponsor + question | A sponsor, a question, and agreed IP terms. |
| Experiment | program-scoped | Prototypes and data scoped to the program; never pooled across sponsors. |
| Result | transfer-ready | An adoptable artifact, or a documented negative finding. |