The science and engineering of advanced computational systems.
We investigate the mathematical foundations, computational mechanisms, architectures, and empirical behavior of complex technological systems. The work spans adaptive systems, security and verification, decision science, and operation under real-world constraints.
Mathematics, algorithms, information, optimization, uncertainty, and the limits that define what a system can do.
Published research.
Each study identifies its question, method, empirical status, assumptions, uncertainty, and boundary conditions. We separate what was observed from what was inferred, and what was inferred from what can responsibly be claimed.
The Geometry of Operational State
A controlled study of spatial reconstruction under rigid-frame mismatch, object-identity collision, occlusion overcommitment, stale digital twins, impossible occupancy, topology breach, and support gaps.
The Permission Boundary
A paired-world study of information leakage in permission-aware reasoning, across direct disclosure, citation metadata, derived claims, confidence and refusal side channels, revocation lag, and workspace contamination.
State Under Delay
A controlled study of decision-time state reconstruction under delayed arrival, out-of-order delivery, timestamp error, stale snapshots, and revision conflict.
Where Evidence Pipelines Fail
A controlled fault-injection study of how source, retrieval, synthesis, citation, and release failures propagate through evidence pipelines.
The questions we pursue.
The Lab is organized around enduring technical questions, not a single product category. Work may inform current systems, future systems, or foundational understanding with no immediate product application.
Computational Foundations
The mathematics of algorithms, information, optimization, numerical methods, uncertainty, and the limits of computation.
Adaptive and Autonomous Systems
How systems perceive, learn, reason, plan, coordinate, and act under incomplete information and changing conditions.
Secure Systems and Verification
Distributed architectures, privacy, provenance, reliability, formal assurance, and the controlled study of failure.
Complex Systems and Decision Science
Networks, feedback, emergence, strategic interaction, collective behavior, and decisions under uncertainty.
How every study is built.
Define the object
State the system, hypothesis, mechanism, measurable quantities, assumptions, and conditions under which the claim is expected to hold.
Test the mechanism
Use formal analysis, controlled experiments, benchmarks, ablations, computational experiments, prototypes, or field measurement as the question requires. Compare against meaningful baselines and plausible alternatives.
Publish the boundary
Report uncertainty, sensitivity, failure cases, and limits of transfer. Distinguish observation from inference, and inference from conclusion.