About venanzio

I'm a mathematician and a judo coach. I'm interested in science, philosophy, baroque music, zen meditation.

Researcher in mathematical logic, type theory, functional programming, formal verification, cyber security.

Member of the Green Party (https://vote.greenparty.org.uk/) and of Humanists UK (https://humanists.uk/).

I live according to the Epicurean philosophy. I'm translating and commenting Lucretius' "De Rerum Natura": https://duplavis.xyz/

Lists

Timeline

venanzio has no activity yet