Research and publications
Model evaluation, agent systems, applied statistics, and mathematics
Current research questions
My current work asks how agent-assisted development can produce results that remain inspectable after the agent session ends.
- Authority: How should capabilities, permissions, execution context, approvals, and evidence be represented so an agent can act only within an explicit mandate?
- Evaluation: What evidence is sufficient to compare model or harness changes, and when should an evaluation refuse to produce a decision?
- Verification: How can a separate verifier recompute a result from durable artifacts instead of trusting the reporting path that produced it?
- Development systems: Which specifications, environment controls, and automated checks make agent-assisted work reproducible across tools and repositories?
Public methods and implementations
- Host Capability Substrate: typed capability, authority, execution-context, and evidence contracts with generated JSON Schemas and CI checks.
- Agentic-Coding Evaluation Lab methodology: fail-closed evaluation contracts and a synthetic
NOT_EVALUABLEresult recomputed by a separate verifier in the same program. - Agentic Architecture Audit: a public specification and deterministic checks for testing whether agent-built systems conform to their declared architecture.
Applied statistics publication
Pediatric Walking Speed Normal Reference Values in a Local Population
Pediatric Physical Therapy, 2023;35(3):314-320
doi:10.1097/PEP.0000000000001015
My role: Led the statistical analysis (third author)
Methods: R (version 4.1.3), IBM SPSS
Analysis: 13×2×2 factorial ANOVA with Type III sum of squares, 1,593 participants ages 5-17
Result: Normal reference values for children ages 5-17 in one rural Alaska school district
I led the statistical analysis for this collaboration with physical therapy researchers. The factorial analysis examined age, gender, and walking-speed condition (normal/fast), including interaction effects, in 1,593 children and adolescents.
Pure mathematics
Spectral Conditions for Composition Operators on Algebras of Functions
Communications in Mathematics and Applications, 2012;3(1)
Research on spectral preserving maps between function algebras. Extends results on composition operators in commutative Banach algebras. Co-authored with dissertation advisor.
Ph.D. Dissertation (2013)
Peripherally-Multiplicative Spectral Preservers Between Function Algebras
University of Montana, Missoula, MT
Advisor: Dr. Thomas Tonev
Field: Commutative Banach Algebras, Functional Analysis
Established general sufficient conditions for maps between function algebras to be composition or weighted composition operators. Defined and characterized weakly peripherally-multiplicative and almost peripherally-multiplicative maps. Extended theory to function algebras without unit on locally compact Hausdorff spaces.
Related study and teaching
Advanced-student mentorship documented from 2023 includes collaborative study of lambda calculus, formal languages, abstract algebra, and applied cryptography. My degrees and teaching record are listed in the Resume and Experience pages.