About Will Whistler

I'm an independent researcher interested in the computational complexity of exact counting problems, category theory, formalisation and (semi-)automated theorem proving. Once upon a time I was also a reverse engineer, and I still tinker with program analysis things occasionally.

Lists

Timeline

WillWhistler has no activity yet