Our faculty consists of former government researchers, standards contributors, and industry practitioners with demonstrated expertise in AI security research, standards development, and practitioner training.
Joint research program developing formal verification methods for autonomous agent decision loops using temporal logic and symbolic execution.
Core Faculty
Publications
Combined Years
Patents
Our approach to practitioner training is grounded in four core principles that ensure every graduate can perform in real-world environments.
Every training module is grounded in original research findings. We teach what has been empirically validated in production environments.
Practitioners must understand the formal language of standards. We teach SHALL/SHOULD/MAY semantics, control rationale, and implementation guidance — not just checklists.
Every training module is grounded in original research findings. We teach what has been empirically validated in production environments.
Skills decay. Our programs include ongoing assessment, simulation refreshers, and community-based peer review to ensure capabilities remain current against evolving threats.