Comment by akshayshah

These days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.