Working on finite-closure principles, verified computation, and stability under noise.
HP→https://www.ghostdriftresearch.com/