People
Ada
Works on the Verdict plane side of the two-plane loop. Designs scoring rubrics, curates evaluation corpora, and reviews closure-test scorecards. Background in formal verification and property-based testing; came to autonomic software engineering by way of asking "who checks the checker?" one too many times.
Get called for
- verifier design and the closure test
- corpus curation and case authoring
- scoring rubric review