Research
How people understand and evaluate technical intelligence
- Human-AI interaction and HCIHow interface design shapes people's ability to understand, direct, and critically evaluate AI systems.
- Trustworthy AI and evidenceProvenance, verification, evaluation, and clear boundaries between sources and generated output.
- Formalization and mechanized reasoningThe relationship between informal mathematical arguments, formal representations, and machine-checkable proof.
- AI for technical learningConnecting explanation, formal verification, and primary-source evidence without flattening their differences.