{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-09 08:42:33.984Z","domain":"mathstodon.xyz","followerCount":167,"followers":"https://mathstodon.xyz/users/pamellies/followers","following":"https://mathstodon.xyz/users/pamellies/following","followingCount":282,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/370/566/098/707/004/original/643da199678c3b3f.jpg","id":"sshh8rur31hycwn","inbox":"https://mathstodon.xyz/users/pamellies/inbox","iri":"https://mathstodon.xyz/users/pamellies","isLocal":false,"last_fetched":"2026-04-22 05:52:43.908Z","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":"2026-04-22 05:52:43.909Z","user":"","username":"Paul-André Melliès"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

gw90

Followers