Venanzio Capretta

I am a mathematician and a computer scientist.

I have interests in mathematical logic, type theory, functional programming, category theory, and quantum computing.

I am also a judo coach.