System architecture, machine learning, and dynamical system modeling for verification-bound technologies.
My research focuses on verification-bound technologies: systems where output volume grows faster than the capacity to test, trust, and operationalize it.
Current work
Manifold Control
Research and engineering for verification-bound systems.
Focus areas
- AI verification and evaluation
- system architecture
- machine learning systems
- dynamical system modeling
- audit and repair infrastructure
- capacity-constrained workflows
- retention, reuse, and composability
The Progress Function
A research program on how progress accumulates when generated variation passes through verification, diffusion, retention, and friction constraints.
The core frame is simple:
- Generation
- creates candidates.
- Verification
- admits structure.
- Retention
- lets structure compound.
- Friction
- measures unresolved interaction cost.
