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":
http://duplavis.com/the-nature-of-things.html
This profile is from a federated server and may be incomplete. Browse more on the original instance.