Principal Applied Scientist within the Automated Reasoning Group, AWS Cambridge. Personal account. All views my own, and not representative of my employer.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
