This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

venanzio

@venanzio@mathstodon.xyz

Joined: 11/06/2022



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 (vote.greenparty.org.uk/) and of Humanists UK (humanists.uk/).

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

Lists

venanzio has no public lists

Timeline

venanzio has no activity yet