{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-18 09:54:06.870Z","domain":"mathstodon.xyz","followerCount":27,"followers":"https://mathstodon.xyz/users/smimram/followers","following":"https://mathstodon.xyz/users/smimram/following","followingCount":50,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/005/477/original/56ad2ca474fd94c5.jpg","id":"27d3qajdobmc0qp","inbox":"https://mathstodon.xyz/users/smimram/inbox","iri":"https://mathstodon.xyz/users/smimram","isLocal":false,"last_fetched":"2025-11-07 08:29:35.388Z","outbox":"https://mathstodon.xyz/users/smimram/outbox","preferred_username":"smimram","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzuLAIrDI0BW/DlXwQQyI\nFDrJVvxxGD2gUIai6h+wUWG5B93FV4RlxW58+PBN89V8rDDLcX9CDywZKJlOGgqX\nDUNBrlqD6AEaAUn86/ThtJyZKkcyG2jTWRz7cYjeOi0mijcQ+sj++41gms1jXYW3\nCO3YerIZPljCXSYSHEUnAieTKSO/qQ4A2pfVRb+J30FoA9U3cLjo5bQH7Ukgu3O5\niagB3w03pbZeCkQ7rH0yH/9uo9LzTGCD+YKdfNqH1ywAjQ832byTHLBbAInjsrKq\ngq3nBkCmGEK4eE2oVoyBVTADBWBg1oRpR1EnhClqg31fv+2AOtEluDfo00M1hTz8\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-06-16 00:00:00.000Z","summary":"","updated":"2025-11-07 08:29:35.389Z","user":"","username":"Samuel Mimram"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-12 21:49:02.812Z","domain":"mathstodon.xyz","followerCount":152,"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-11-07 08:29:35.449Z","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-11-07 08:29:35.449Z","user":"","username":"Paul-André Melliès"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-16 13:39:18.883Z","domain":"lipn.info","followerCount":182,"followers":"https://lipn.info/users/bournez/followers","following":"https://lipn.info/users/bournez/following","followingCount":167,"icon":"https://lipn.info/system/accounts/avatars/109/360/353/796/820/611/original/14fbbf122b89a103.jpg","id":"umhpqo83wlm00g9","inbox":"https://lipn.info/users/bournez/inbox","iri":"https://lipn.info/users/bournez","isLocal":false,"last_fetched":"2025-11-07 08:29:35.639Z","outbox":"https://lipn.info/users/bournez/outbox","preferred_username":"bournez","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz/dqkLpJLoZy8PHYMtkQ\n+De4vXxOlenpYoKnzwF00jvN1Tdvy+r+8vbIkOgHHeVw0CFgmrts9BxrjxK+MRUy\nujlshIyX9pH773lfgcujRZITk/F3PfQFuy3BSUe1USd94kHnumo3y1bxNGfz24KP\n6t/k9AN36Dm0DDTBI2B4m/NZz83PpGM0Q/RJVJkj+inaavBfqQXNUg88aycx2ePf\nKAL2H5G6kApBrPCur5nalt+zjbQhDjV7JEppdsmVBw/QFNgC0rWmm2RfDef4nOgQ\niqKbQudpXPNmLncJJIQdsNyBmC58pfAL+ZUJxbDHVGYL1/u78gfc8mc87vrbeP3Q\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-17 00:00:00.000Z","summary":"

Professor of Computer Science/Prof d’informatique @ l’Ecole Polytechnique

Computations with Ordinary Differential Equations. Computation theory. Logic. Comparability. Complexity theory.

Gyroroue. #Casque_à_couettes. #JeKiffeLesMachinesDeTuring

#Computationtheory#OrdinaryDifferentialEquations#AnalogComputations #Computability #Computability

","updated":"2025-11-07 08:29:35.639Z","user":"","username":"Olivier Bournez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 18:39:11.821Z","domain":"mathstodon.xyz","followerCount":249,"followers":"https://mathstodon.xyz/users/Nathaniel/followers","following":"https://mathstodon.xyz/users/Nathaniel/following","followingCount":99,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/294/021/054/375/864/original/d4dad62e828e5ddf.png","id":"bhr9czrozgnhk12","inbox":"https://mathstodon.xyz/users/Nathaniel/inbox","iri":"https://mathstodon.xyz/users/Nathaniel","isLocal":false,"last_fetched":"2025-11-07 08:29:36.009Z","outbox":"https://mathstodon.xyz/users/Nathaniel/outbox","preferred_username":"Nathaniel","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApjzkXfg3t7/4Hkh7DTJv\npaFW0fFq0SrksDprFTLhmGPpElGmDTfZ48HpWnbtKE4Wlm6pkT3cOel43d0x8Irq\nLWAuuA0+YUw+wkrgJj2yh9HrSGMA0IBI8zhGD3/pLUxwiB5YVEycfg/dBtHeXVme\nlCx2FI+ZUmFCJEd47Kk2Qzqo2zImoM1dqFL0aOZ0hU5yoD83r9oTIJmowBy9fBfi\nkNsDdhB6YjjXFZZAahUNQ85xXJHDC7mzoQPGeeqc5Jd6fyoxeHqPmzN9Nnss1YDZ\n8EsS2A1CUrKkPo3mjUWyT+3N6ihErFCp7dRaevuTZztitjh35flv6prS6feuetKz\nfQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

I'm interested in complex systems, applied category theory and the origin of life. I have an interdisciplinary background that combines computer science, mathematics, ecology, physics and artificial life. I'm an associate professor at the Earth-Life Science Institute (ELSI) in Tokyo.

","updated":"2025-11-07 08:29:36.009Z","user":"","username":"Nathaniel Virgo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 01:28:35.574Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/llemonnier/followers","following":"https://mathstodon.xyz/users/llemonnier/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/267/484/755/333/881/original/0a076aa93aa84dd3.jpg","id":"vddr7oevxk3lbo8","inbox":"https://mathstodon.xyz/users/llemonnier/inbox","iri":"https://mathstodon.xyz/users/llemonnier","isLocal":false,"last_fetched":"2025-11-07 08:29:36.048Z","outbox":"https://mathstodon.xyz/users/llemonnier/outbox","preferred_username":"llemonnier","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtxbZ+kV4drjyGXAAXRRn\nXsUK4fLVQgj3/reyrBIQuhkJNhDUmXBxfTYfq7B5rmT3lTk+fpHD2avz0N3DaF1b\nSj6x3kz4D3ZxKojAmwjKmqu7ncWgZcpvKVVQmtpXUHi2CVbD+jX3aheYcFkkpybd\nimeaSrc/ux3ylInp11EEes2oGFRGp7OndofbQsPQps+Xs4zeNfQgBWIOd34pqJrt\n1R+ZXm2P1psBSjZSYu6zFxZRBZ4waZ55SBSG5uqII3d4rfYSDQPGF95Is6WOGH1q\npzEEBwuAUkG5L3TacwZpM3gWZtFAy2cNX0Wqy5XDEpX3RCqQOImyC46/zb7rHVdp\niwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"

Research Associate in the University of Edinburgh. I study programming languages, effects, denotational semantics, and I am supposed to work this out in quantum programming somehow.

","updated":"2025-11-07 08:29:36.048Z","user":"","username":"Louis Lemonnier"}],"page":1,"perPage":10,"totalItems":20,"totalPages":2}

ph

Followers