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/Published at
2026-10-27T17:28:03ZEvent JSON
{
"id": "e73588f3b806f2124bb2c6667523c26fa6268f2e2d1deadd06bb6d50dc95a9c0",
"pubkey": "5c421a56fa15be110fc3bd121f555f80c944d4a1a64a79f71b11ec2a23987e9f",
"created_at": 1793122083,
"kind": 0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/buchholtz",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/buchholtz",
"pink.momostr"
],
[
"-"
]
],
"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.\\n\\nWebsite: https://ulrikbuchholtz.dk/\\n\",\"website\":\"https://mathstodon.xyz/@buchholtz\",\"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\":\"buchholtz_at_mathstodon.xyz@momostr.pink\"}",
"sig": "86286ffba17873b8accceaa089e4655367df587ef86ee4186e87173fbdaf52f80201f80b64c436047fec75df2f4a9aad2c08a78ee3cd831c4e27060baaf1819c"
}
