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.
{
"id":"b20b19c8e6343a826f1fcf31c84fa94d7658c2b481150d9d7eb22cb41bb1f176",
"pubkey":"c7b156da145cc23f3348970a56ead50e4d9982635d4543e1315e4128b534b18b",
"created_at":1768670945,
"kind":0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/buchholtz",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content":"{\"name\":\"Ulrik Buchholtz\",\"about\":\"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.\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/000/003/086/original/50b5f7e76e549dcc.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/000/003/086/original/ae50b6fa18de8c92.jpg\",\"nip05\":\"[email protected]\",\"fields\":[[\"Website\",\"https://ulrikbuchholtz.dk/\"]]}",
"sig":"45113f757527a5dae18bbca767c11d0a26d411a8cba1dee6e6d55521390ff3bf9b9b5dc48f7ccb5ada8f6456e5b9399fdb2de84973b5d3148f7d308d3a94fc2c"
}
