Ulrik Buchholtz
I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.
Website: https://ulrikbuchholtz.dk/
Website: https://ulrikbuchholtz.dk/
Public Key
npub1t3pp54h6zklpzr7rh5fp742lsry5f49p5e98nacmz8kz5guc060syem5efNIP-05 Address
[email protected]Profile Code
nprofile1qqs9css62mapt0s3plpm6ysl240cpj2y6js6vjne7ud3rmp2ywv8a8cprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntztsuhaPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1t3pp54h6zklpzr7rh5fp742lsry5f49p5e98nacmz8kz5guc060syem5ef