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.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet