Skip to content

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