{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-05 18:44:44.116Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/nimarasekh/followers","following":"https://mathstodon.xyz/users/nimarasekh/following","followingCount":47,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/313/803/905/685/012/original/cbfa9e0efee2007e.jpeg","id":"8a840vgacz8ugxk","inbox":"https://mathstodon.xyz/users/nimarasekh/inbox","iri":"https://mathstodon.xyz/users/nimarasekh","isLocal":false,"last_fetched":"2025-12-19 18:46:31.651Z","outbox":"https://mathstodon.xyz/users/nimarasekh/outbox","preferred_username":"nimarasekh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw7UekAnIkfCCB0tJCu+8\nyIt4UUCUUQn+bJEdXi7URILktMfQRy0X0InANwN3vXis8EfhNRt8NzDhsgzOfSk0\nvLBKghYkcfS9i2yi3lTtd/qNaXGWu5/hU6gF+//AMHnTuk98KmhT0EJ0aU+gguJd\nYnBc8pJy+OF2zjTejyqF249UQFufp1j3WkrVTxu/CdrMxjiQSSiT0pRHihj/guL1\nuSl1/vCKccSsEO4jSzLPM3fMTnLMeSQxUxdewx/mTDx6pJ7D5xD+1eNG0o49u2l0\nSarOJ8JVYHLIt46IszYR5GfIbMhhWLvqJW9AU4mY8CIyZQla/FUfZmsKpcgXmw/7\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Mathematician|Postdoctoral fellow at @unigreifswald |Mathematics Research Scientist at Turing|Lived in 🇩🇪🇮🇷🇨🇦🇺🇸🇨🇭 currently in 🇩🇪|He/Him/His

","updated":"2025-12-19 18:46:31.651Z","user":"","username":"Nima Rasekh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-07 08:38:31.448Z","domain":"mathstodon.xyz","followerCount":326,"followers":"https://mathstodon.xyz/users/aws/followers","following":"https://mathstodon.xyz/users/aws/following","followingCount":90,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/747/171/381/483/original/e7022018d020c72d.jpg","id":"p8d9yig9z506282","inbox":"https://mathstodon.xyz/users/aws/inbox","iri":"https://mathstodon.xyz/users/aws","isLocal":false,"last_fetched":"2025-12-19 18:46:31.679Z","outbox":"https://mathstodon.xyz/users/aws/outbox","preferred_username":"aws","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0IR1l7P38z32qk8R7gAn\nYSXwDuydbNQXTAIHWHXbAr4A/EpbZxGgImZQ1GQHKuzydOJgjjALJpZ+e/lmtQYx\nKBsJt/AnwbGeNTBlw07Id0s3Xgx524puvaM1gw8imWSvcJStffd9phlBvURgeZjr\nYJXqL23WWX1OBXlxdtQsnPy1bjrmp/bnHq7pENeSbmUUgEb63sokZTWZpyXb3D7x\n4RDS1MRczxe1v+9VZzmrAZHY2n9aHaIk5HedxXwCqI5QElaIl6/02B3kKFdxNc1N\ncJFXM25CQ+bd+x9ev3yZuUuWIG2atyHfWPW0jDWJTQdTVaDqC6Jp8kgi12PWUOss\nHwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I am a postdoc at the University of Ljubljana interested in various things including constructive maths, homotopy type theory, (higher) topos theory and realizability.

","updated":"2025-12-19 18:46:31.680Z","user":"","username":"Andrew W Swan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-20 15:25:57.212Z","domain":"mathstodon.xyz","followerCount":574,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":195,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"10s44m3hgfk964k","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-12-19 18:46:31.706Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-12-19 18:46:31.706Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-22 22:00:00.821Z","domain":"mathstodon.xyz","followerCount":1026,"followers":"https://mathstodon.xyz/users/emilyriehl/followers","following":"https://mathstodon.xyz/users/emilyriehl/following","followingCount":44,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/617/620/227/231/original/e01e739b1fcf160e.jpg","id":"2f5zol8bbp930h7","inbox":"https://mathstodon.xyz/users/emilyriehl/inbox","iri":"https://mathstodon.xyz/users/emilyriehl","isLocal":false,"last_fetched":"2025-12-19 17:06:47.298Z","outbox":"https://mathstodon.xyz/users/emilyriehl/outbox","preferred_username":"emilyriehl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyKPUTTeToYOvGH7CUGMg\nHtJpfM3Gd1NlOX8aUGE3G4/PTgPiN9DwyRBW0xofpXOjES8juDhcJlOQtSR26Rhx\neCOiJ1W44UzwX4IhKAZY9SFwq49TagknZgG3gezvaQbSivuLtndN2mO9rxavokFq\nxKg2JeJsnqkK1o0h8Hk+eQnwB5Y+n3TDtYGKTl56v2FZDzcoW9PmCc++F61alslr\ndaCR/XM6fniN3zhTdJoov/sANggqtfKoL8bAIWf83h5e8p82+z6cNNDCr+77CyfT\n+GnfOb7B82K6YqqUush+YZNDtMDeOvpq9hrmFyL30ocJj0WfjpifDRhMHaj25Px7\nPQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

category theorist, working mathematician

","updated":"2025-12-19 17:06:47.299Z","user":"","username":"Emily Riehl"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 06:42:37.523Z","domain":"mathstodon.xyz","followerCount":2049,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":114,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"mf1ia0vs01oh3rd","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-12-19 18:46:31.737Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-12-19 18:46:31.737Z","user":"","username":"Andrej Bauer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 04:11:46.690Z","domain":"mathstodon.xyz","followerCount":3615,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"v05ipq2j04p0d75","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-12-19 18:46:31.762Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

See my meta-blog:
https://cs.bham.ac.uk/~mhe/blog.html

","updated":"2025-12-19 18:46:31.763Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-27 23:40:00.286Z","domain":"mathstodon.xyz","followerCount":413,"followers":"https://mathstodon.xyz/users/jdchristensen/followers","following":"https://mathstodon.xyz/users/jdchristensen/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/246/927/350/073/625/original/281b3ac6c1b69ce8.jpg","id":"t9j0676x01222ba","inbox":"https://mathstodon.xyz/users/jdchristensen/inbox","iri":"https://mathstodon.xyz/users/jdchristensen","isLocal":false,"last_fetched":"2025-12-19 18:46:31.789Z","outbox":"https://mathstodon.xyz/users/jdchristensen/outbox","preferred_username":"jdchristensen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoBi6OtppeRzaUMUh/t+K\nm+xUeeihPZSjr/3DvbGxQO9s4cQNex5OQn3zyx4I+6uGCCuJXE5wOU2gOCm1V3Ny\nCeRoTKGHi9YSMK5aoSp7LnFzxauT7eiS8eNIC+CaWP8CaZNFK/I2fa7DjX+MpwpT\npoABT7beVb2Lx/sQP6P6ICwNtunlyNZsyWSl9LWHhebFY3iYjy7rq8MZ6MgSuU5c\ncGL+KtCRlhYDwnCqCfOwdLgHF2dU9hywczNg01GRNMha3qjlKN7NqFPwAPKLw1b3\ncmu90UcEjeKKGvFM+zmENZjgphxkRqTPef1Tqh9SYlbs9NcixF2rk1asTQmUWLh1\nwwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

I'm a mathematician at the University of Western Ontario. I'm interested in homotopy theory, higher categories, homotopy type theory, and many other things.

","updated":"2025-12-19 18:46:31.790Z","user":"","username":"Dan Christensen"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

Theofanis Chatzidiamantis

Following