Automated research quality assurance — verification-gated task registry, citation verification, reproducibility checks.
Symbolic DEs for computational neuroscience. Provenance-tracked, neuromorphic-ready.