{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-30 10:58:04.726Z","domain":"lipn.info","followerCount":262,"followers":"https://lipn.info/users/mevenlennonbertrand/followers","following":"https://lipn.info/users/mevenlennonbertrand/following","followingCount":112,"icon":"https://lipn.info/system/accounts/avatars/112/315/579/950/728/222/original/8a153e0d174caac6.jpeg","id":"r581hv8nds14yw6","inbox":"https://lipn.info/users/mevenlennonbertrand/inbox","iri":"https://lipn.info/users/mevenlennonbertrand","isLocal":false,"last_fetched":"2026-02-07 20:43:17.099Z","outbox":"https://lipn.info/users/mevenlennonbertrand/outbox","preferred_username":"mevenlennonbertrand","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAlgF0/w8VsRnfACR0mhY9\nfxAQ8LpjL/r8DtwC4L8LXsPp3jj3Mphz1dU23xPxcIY/Ob0j97dDKRW7keUc6urx\nYULRfonchTRGcmC/4paJWX9/6DA4ezKgw3Q5bwJzGkCRQLpe3zUvlX8xXPJd4qyl\nOrxUMCXdYC1i+mOikY38TjSNQlzkQMOg4dIbLrtF70FHcFujS199XWsB9t79DyGo\n5Xmb+eDaBGAzxGjka4C/cPorfuEIO00C+Wmty9Y0hJZtTx17lyw+cYkfayqoZWSJ\n9ZNPMyb/nppVcCRDspk0eR0LJ1YPpq/+9tprElIhNuNDkwlwFXIHGv0/HI11T3Tu\nfwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-22 00:00:00.000Z","summary":"

Post-doc at INRIA/IRIF/Université Paris Cité.

I mostly try to convince proof assistants that they are doing reasonable things. Sometimes this involves studying type theory. Sometimes this means understanding what our implementations do. All in all, it's not too bad.

Profile banner (from the Leonard comic by Turk & de Groot):
- I wanted to serve science because it it my joy and instead of that, what am I doing?...
- Yes, what is he doing?
- I guess he's complaining!

","updated":"2026-02-07 20:43:17.099Z","user":"","username":"Meven Lennon-Bertrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-22 03:58:16.961Z","domain":"mathstodon.xyz","followerCount":2056,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":533,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"gj4mpgtmkqdrvxq","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2026-02-07 22:27:46.607Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2026-02-07 22:27:46.608Z","user":"","username":"Jon Sterling"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-27 01:10:28.745Z","domain":"mathstodon.xyz","followerCount":3672,"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":"g9wb2e1xzwc8wfi","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2026-02-07 22:27:46.642Z","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":"2026-02-07 22:27:46.643Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 15:39:43.174Z","domain":"mathstodon.xyz","followerCount":199,"followers":"https://mathstodon.xyz/users/codyroux/followers","following":"https://mathstodon.xyz/users/codyroux/following","followingCount":192,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/233/132/722/012/900/original/77bda2cc3198c329.png","id":"o7gtgn6n970fepe","inbox":"https://mathstodon.xyz/users/codyroux/inbox","iri":"https://mathstodon.xyz/users/codyroux","isLocal":false,"last_fetched":"2026-02-07 22:27:46.676Z","outbox":"https://mathstodon.xyz/users/codyroux/outbox","preferred_username":"codyroux","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0GI4QKvsy63Qdloi7HEg\naExMFSyCLQTMLTN3otEi86PEGeC6ASha1So9cIXq5yxGKeZqo5O8nJK7zfXksXM9\n9k6sVMuc9bb2He0TSkN/1kmNvaJitQKldpeoYPouYTYEKV/2vyklUL3bO/26Tmdq\nbv/nPJT744so1JIbUAqixQD4S2b3H9aOCqbKydDuONDq84tRc1BNvQTmjWw8z1Ax\nujNH9oRlnSnlBTrImX0pA3j31ejEZrW6TIyv1eI4pewbOCd7xZXX4yuuIKNxHlv9\nVZz0cfGGJGcRwsGTRr7HdXPUxmXuyuPdH7A+3lo55L5Fkul86ef+6eMknJC4UY6M\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-02 00:00:00.000Z","summary":"

Applied scientist at AWS. Proof theory enthusiast. Ultrafinitist.

","updated":"2026-02-07 22:27:46.676Z","user":"","username":"Cody"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 17:03:04.659Z","domain":"mathstodon.xyz","followerCount":2104,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":116,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"bpn0ijgfyndnn87","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2026-02-07 22:27:46.710Z","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":"2026-02-07 22:27:46.710Z","user":"","username":"Andrej Bauer"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

dkrustev

Following