Join Nostr
Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.
Public Key
npub1mfshurh4s2j74g8hwpama06jqxhzg00h7lmmwhy56253zdh5dujqmu8tlu
Profile Code
nprofile1qqsd5ct7pm6c9f025rmhq7a7hafqrt3y8hml0aahtj2d92g3xm6x7fqpz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz0gaxp
Publishing to