Zachary Tatlock

Legacy note: backlog is now tracked in ROADMAP.md.