@venanzio@mathstodon.xyz
Joined: 11/06/2022
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/
venanzio has no public lists
venanzio has no activity yet