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