Why Nostr? What is Njump?
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
Public Key
npub1tr9h95xhp0y87rta506s8284l2jrpvtck5ktd2r3kdph3p7cejqqryhca0
NIP-05 Address
jonmsterling_at_mathstodon.xyz@momostr.pink
Profile Code
nprofile1qqs93jmj6rtshjrlp4768agr4r6l4fpsk9ut2t9k4pcmxsmcslvveqq9sevy9
Author Public Key
npub1tr9h95xhp0y87rta506s8284l2jrpvtck5ktd2r3kdph3p7cejqqryhca0