{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 21:49:02.812Z","domain":"mathstodon.xyz","followerCount":151,"followers":"https://mathstodon.xyz/users/pamellies/followers","following":"https://mathstodon.xyz/users/pamellies/following","followingCount":271,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/370/566/098/707/004/original/643da199678c3b3f.jpg","id":"pvpreeyddmkl9e0","inbox":"https://mathstodon.xyz/users/pamellies/inbox","iri":"https://mathstodon.xyz/users/pamellies","isLocal":false,"last_fetched":"2025-10-26 12:44:22.155Z","outbox":"https://mathstodon.xyz/users/pamellies/outbox","preferred_username":"pamellies","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvcZy0speejmR9rrrHFLj\nt6YRQigBiGTZImWIHOgi0ZNtgV9P50jcW2HVmcSvnof9pBWp8DWcBlt5uXcd8gpK\nmYhKYNMKGyMJWo/UfqYS6288i3TrPFILPVLS/jiv5rfN0dns8Ai8+xeWdb7htoch\nk7wVwzyXRtpfe8h8ChOisqQMDi9XTYIgE4WGg8EV1SBHZ0OSfhXa2CUMA1aACsYF\nRwltxvzNiwjgE/+TRhhBt9WxpjR/qzMmZq2X8W40PuwWKCE1YuBdPzp1bRU+8ERE\nZZ0xaAF3v8QGPEJJD3UwL8LXl2qmjv4iVVVKykrHfL76X2zNrp0Ppq5Jc2TPg3gj\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-10-25 00:00:00.000Z","summary":"

Logician and computer scientist at work

Mathematical logic, proof theory, game semantics, theory and practice of programming languages, computer architecture, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, operads.

#CNRS #INRIA #UPCité #ENSParis #IRIF #Picube #Malinca

","updated":"2025-10-26 12:44:22.155Z","user":"","username":"Paul-André Melliès"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 11:08:34.821Z","domain":"mathstodon.xyz","followerCount":2394,"followers":"https://mathstodon.xyz/users/antoinechambertloir/followers","following":"https://mathstodon.xyz/users/antoinechambertloir/following","followingCount":1819,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg","id":"xpu44844e1mp324","inbox":"https://mathstodon.xyz/users/antoinechambertloir/inbox","iri":"https://mathstodon.xyz/users/antoinechambertloir","isLocal":false,"last_fetched":"2025-10-26 13:11:26.922Z","outbox":"https://mathstodon.xyz/users/antoinechambertloir/outbox","preferred_username":"antoinechambertloir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp23Ap2z7eicg/wLWubWa\nQIdNrPL2My6NkRNMKy5/ffP9Kf3tgTN+c0/p7b9qJikZ8wkAtN2Ytc7bxkOQDIHP\n43D336sXYjPRMXx3RVKD+W56MIXNLy/7CE9OyhIWvEgXm7F+zjgy0o96U3MebIM5\nd+jVB7aACG62KlMp2ZUNvNgfgTKQwBCunzzBVM2WyrEp9aBFw+iNF+63JjLTxhom\nldYtVIHhWMytR9b89hpWHdrVQDbb4AT7BmCysYy0ingUsGd+++AIBdfIQnyK8zuf\n6ctjY1X23iolFXv6aiVxOy+GN6NdAkfPbq8aCruJYQwQqAt90eW1kdeNVFgvlQLp\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-19 00:00:00.000Z","summary":"

- Apprentice mathematician (Professor at Université Paris Cité),
interested in algebraic geometry, number theory and (more recently) proof formalization
- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).
- Apprentice progressist.

In love with math, jazz, indian music and poetry. ⏚

","updated":"2025-10-26 13:11:26.923Z","user":"","username":"⏚ Antoine Chambert-Loir"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

Rehan MALAK

Followers