David R. MacIver

I’m most well known as the primary author of Hypothesis, a property-based testing system for Python. Of the back of that work, I’m currently doing a PhD in test-case reduction. https://www.drmaciver.com/