Research corpus focused on deterministic AI governance, execution-time authorization, proof-carrying decisions, and authorization architectures for high-stakes AI systems. The project includes technical notes, formal frameworks, governance taxonomies, and architectural analyses related to runtime authorization and verifiable AI governance.
Edward Meyman (Thu,) studied this question.