{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-15 19:57:09.966Z","domain":"mathstodon.xyz","followerCount":16,"followers":"https://mathstodon.xyz/users/bool/followers","following":"https://mathstodon.xyz/users/bool/following","followingCount":52,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/679/601/609/495/290/original/88b71a713e044a5a.jpg","id":"z6wqrg4pa788rf3","inbox":"https://mathstodon.xyz/users/bool/inbox","iri":"https://mathstodon.xyz/users/bool","isLocal":false,"last_fetched":"2026-01-24 14:16:33.494Z","outbox":"https://mathstodon.xyz/users/bool/outbox","preferred_username":"bool","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqBoF132z9QaCDIB+4Hz1\n9b0nJYu5edBJSL+30r+vdm0wWmY1nyXbk1xnQJqB/bpfifULxwBwFNxNKP3RzFKR\nAFXyfurfCtBWJHZpUbLUFipJKOLplJuSqSo5gjgzCn0lGu21Lbvs6t4lpY3LoIMX\nNxOuhQa262A/FpzofbVe9+YCH9v7Kss4blh6OOtk+rKNQuHdceFuQrR/X5YZTiZb\n36mAdfSWqQ01drkFcCQZATdoOE1ewL0wa2EYza3EuhiWtF3XiZcm/HA4idV4h8Wt\nDundR3h41xCGEIJTcsS9UAkBLQ2ZggvY23I+cHevpmU0mikeJ9hpOLws7PVWwYTL\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-14 00:00:00.000Z","summary":"

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

","updated":"2026-01-24 14:16:33.494Z","user":"","username":"alecs"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-14 23:37:24.917Z","domain":"mastodon.social","followerCount":25,"followers":"https://mastodon.social/users/nysos/followers","following":"https://mastodon.social/users/nysos/following","followingCount":214,"icon":"https://files.mastodon.social/accounts/avatars/000/010/323/original/198c785e5b92582a.jpg","id":"anmrt1idv5m6121","inbox":"https://mastodon.social/users/nysos/inbox","iri":"https://mastodon.social/users/nysos","isLocal":false,"last_fetched":"2026-01-24 14:16:33.554Z","outbox":"https://mastodon.social/users/nysos/outbox","preferred_username":"nysos","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA9f5OaNVHkbFcrYaAulDw\nl29jfeGoY7DLlGvBmnjGUJtLMCxX5h6pq3HjP6pd3retRUqFSjRd3a8Oz4DZRndg\nN7dwvELQkxE8hBz2YHs3jds8hNp3jOMTHlf5QFk/gpwgAvtZOgxk2sFNk6d3EH5l\nZfycTImg4bFTbCUQ5OAlU2WU6EohvdksJj+oTDoAu5Fx2i/M/QO1t1o0cDFmckTu\nDWNAdX+3qSeCFs8BzgjakL3ysYCDOhifN+HCYPTrC89Z0P57d5GEi7NMdl0in6DD\nQZvqjb2ZJc/C4gEv7M1c9PUPyBAY+75Y5PVtVEibJkBd8OEiEf/kifbck87VC+/n\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2016-11-07 00:00:00.000Z","summary":"

Information Security & Privacy based in Vienna/AT

","updated":"2026-01-24 14:16:33.556Z","user":"","username":"nysos"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-20 00:32:21.280Z","domain":"mathstodon.xyz","followerCount":18,"followers":"https://mathstodon.xyz/users/kevinlopaq/followers","following":"https://mathstodon.xyz/users/kevinlopaq/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/885/036/582/942/509/original/49d10478b6630ef8.jpg","id":"g71dswcp3tj2jpv","inbox":"https://mathstodon.xyz/users/kevinlopaq/inbox","iri":"https://mathstodon.xyz/users/kevinlopaq","isLocal":false,"last_fetched":"2026-01-24 14:16:33.582Z","outbox":"https://mathstodon.xyz/users/kevinlopaq/outbox","preferred_username":"kevinlopaq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA28onTFkUP17d8XAM+Fcl\nvO+bcjgpE+D1O5EcoqrUVuPRfMqQHDMagohUx+Ht4nYq83oe7qJgkweW37Oajt0U\nfM8qcdmnbagcgJdDNfBcodmMck0UJIHBnT7P2NDeIuf8P/mSADYpb9L0m82MgM32\nCPgT/gi8q9FqwkY1fP+6775Ds/g84Tm5rQkblx81cgk5yejEZ0uvrwsnh2wRT6Qm\n4jdTlaKNDrgALzadyfMJSQHyYnf57F6SvylO53g/aIR3V9Gkmz3zEApFSE5pJiuk\nSWd0sYImlRZWpKJtFviJHI42Bcf1BWt7AmfCF4xcram6hE8oOyeT/K8P0+biti5J\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-24 00:00:00.000Z","summary":"

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

","updated":"2026-01-24 14:16:33.583Z","user":"","username":"Kevin López-Aquino"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-21 00:51:32.644Z","domain":"mastodon.social","followerCount":3,"followers":"https://mastodon.social/users/EduardoGarrido/followers","following":"https://mastodon.social/users/EduardoGarrido/following","followingCount":34,"icon":"https://files.mastodon.social/accounts/avatars/113/871/730/733/280/687/original/03cd387670cdf2fb.png","id":"8h9lxdubc7ep37r","inbox":"https://mastodon.social/users/EduardoGarrido/inbox","iri":"https://mastodon.social/users/EduardoGarrido","isLocal":false,"last_fetched":"2026-01-24 14:16:33.625Z","outbox":"https://mastodon.social/users/EduardoGarrido/outbox","preferred_username":"EduardoGarrido","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzerAS6doTQwXLfskccZf\nZsr540l34A+iB0DHQ7SYlrbE+6wOXV0hwsyLOXKlYM60u5IS6YZtxLKavF0LE05N\nugcaRxk6fu6qDTN3oFiMBcx4MF/VVRm/F8llVLu8kz3n/QchVNvAfrwpJj9bqvdm\n7bnubgjViajy97q3m09P43MmGP0oIJZq7NvqEEyF1GISrpV43+J2scW4wAphxfvh\niHKlVScsk0qFs5jnz/H/HK49gnjjPsag2dOuhhFKeXpVygGxr8vL/stFTRw7MnyZ\nV/vLODTdJcEvmr+OKLHZ2lndRKIr6rziTfoEpip1Q0cekz85NuaJt4E25kq9nQAm\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-22 00:00:00.000Z","summary":"

Doctor en Ingenieria Informática. Profesor de ML&Stats. Padre de 2 niños, uno con autismo severo. Creo en un mundo mejor, con colaboración y sin competencia, donde de cada cual según sus capacidades y a cada cual según sus necesidades.

","updated":"2026-01-24 14:16:33.626Z","user":"","username":"Eduardo Garrido"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-03 14:47:04.455Z","domain":"mastodon.social","followerCount":98,"followers":"https://mastodon.social/users/AndresMacons/followers","following":"https://mastodon.social/users/AndresMacons/following","followingCount":401,"icon":"https://files.mastodon.social/accounts/avatars/113/849/203/146/559/094/original/657607e4133a46ba.jpg","id":"2kytwgu2cuaxjmv","inbox":"https://mastodon.social/users/AndresMacons/inbox","iri":"https://mastodon.social/users/AndresMacons","isLocal":false,"last_fetched":"2026-01-24 14:16:34.100Z","outbox":"https://mastodon.social/users/AndresMacons/outbox","preferred_username":"AndresMacons","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAnRP0WUnQp4TXWiGaAgYy\nWAPaG2ZJu65qQxwIpo47r69OROyG5n9e1GBAwJiqOYPmXrqMdLOmf7kpJNpWep9R\npJA+CUAhmu0mitfrKzUpiXBotanqeM4bsZWEoKqm2MnssypKcTE7/iKfuGNUpI+P\nwKuhOQr1lFt58zLHwDzdaMELkHVClSwdk5nUAh4/xDMHcw7YecDJB48lxLoOw80H\ncddnFOOZMthOinS8Xuyyq2EHOaGuSJY6uFB3JRF06sJ9p9zIUl+jYC8zg02YXY/t\ngDAGs8ATtpzaaOKr0VObrpVLJb56DccqAg6HMqWqHhnXixKpj2rodDjFfAr9NXwV\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-18 00:00:00.000Z","summary":"

• 2025. PDRA in Organic Chemistry at RWTH Aachen University in Schoenebeck Lab.
• 2020-2025. PhD in Chemical Science and Technology (CiQUS, USC) in Fañanás-Mastral Lab.

Interested in organometallic catalysis, organic
chemistry and computational chemistry.

#chemistry #catalysis #organicchemistry #compchem

Guitarrista e pandereiteiro en Satenta 🎸 #punk #punkrock #music

Posts en galego e inglés // Posts in galician and english

","updated":"2026-01-24 14:16:34.100Z","user":"","username":"Andrés Manuel Álvarez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 02:31:12.085Z","domain":"mastodon.social","followerCount":11,"followers":"https://mastodon.social/users/imdeananociencia/followers","following":"https://mastodon.social/users/imdeananociencia/following","followingCount":37,"icon":"https://files.mastodon.social/accounts/avatars/111/340/804/745/448/071/original/2473a181ef79d9e3.png","id":"me4c6nuxdzb5oqw","inbox":"https://mastodon.social/users/imdeananociencia/inbox","iri":"https://mastodon.social/users/imdeananociencia","isLocal":false,"last_fetched":"2026-01-24 14:16:35.012Z","outbox":"https://mastodon.social/users/imdeananociencia/outbox","preferred_username":"imdeananociencia","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzYJ3uJUS0nSIfg8D4rNc\nufNDBmrh7INVc0/DXZ6POgtrFMgdvucWDUvzomQexYzcozdXE5r2ab0h3Upmy4m1\nUIGa6iaW+gUSKGkbnfTH1510TxtULUrVUQirimx17W7MGJL0ZNdIRd0dlffq0jqg\n9pG7RxsQom8WHLiY/FZOP518gRhQmbR7F84nnmcpdikts4o6USJEvweF/91pMvRN\nRS39WTQ4MZy6Zc9JT0SCNMOTwqhJQtLj42WBvO5/fNJULBdn5WaX2Ee3N1ytXhve\n7WkJtxDmIh9qmPy96NNG+nWfxgwKQge7y8kxY+4mScSJ99eBJDthJokGyMZBNcKF\nUQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-11-02 00:00:00.000Z","summary":"

Institute of Advanced Studies in Nanoscience of Comunidad de Madrid. Non-profit IMDEA Foundation. Severo Ochoa Centre of Excellence.

Official account. Toots from the Communication Office.

","updated":"2026-01-24 14:16:35.012Z","user":"","username":"IMDEA Nanociencia"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-22 02:31:12.151Z","domain":"mastodon.social","followerCount":4,"followers":"https://mastodon.social/users/BMC2024/followers","following":"https://mastodon.social/users/BMC2024/following","followingCount":2,"icon":"https://files.mastodon.social/accounts/avatars/113/634/875/555/597/781/original/4fe6483a5af3621f.jpg","id":"xqqlufwvyyvw5c1","inbox":"https://mastodon.social/users/BMC2024/inbox","iri":"https://mastodon.social/users/BMC2024","isLocal":false,"last_fetched":"2026-01-24 14:16:35.058Z","outbox":"https://mastodon.social/users/BMC2024/outbox","preferred_username":"BMC2024","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq2/Ql16l+GlZUCVKQQIX\naiVV0c0TPLKF/YQs8A80UBa+uRlUJ9pCLjUf3uF1shxJef4gFolrTP5aSecFVlPz\nvw32VfmafPNvwP8vv27JCDIesxc3qISl0N8XclKwFEXOg91xtOvaxGA5DmWrbyH8\nF4dqajSjanAZ+HoZZ5dCmgReIwfavQgYFZ9bKMQ8uab+W81KgtdJL68HxEv/P+Bk\nK5XtMmaTpQqLKOuuyPnr2wcmCO7xyhu6ytsc40bes9gxUBdsO5x7npCQZT86eNyt\nO6WsF+TbA2d6zuAb7O527EgFFE6+GGXnzZefWkonyLIKUSbo7C/uuaka4yRN1qVs\nVwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-11 00:00:00.000Z","summary":"

Explorando el Fediverso.
#Ciencia #Tecnología #CentroInvestigación

","updated":"2026-01-24 14:16:35.059Z","user":"","username":"Begoña Moreno"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-22 19:31:16.371Z","domain":"mastodon.social","followerCount":289,"followers":"https://mastodon.social/users/fm_volker/followers","following":"https://mastodon.social/users/fm_volker/following","followingCount":399,"icon":"https://files.mastodon.social/accounts/avatars/109/251/590/005/619/829/original/810a05d7daee6290.png","id":"ncxge6ci9lr14so","inbox":"https://mastodon.social/users/fm_volker/inbox","iri":"https://mastodon.social/users/fm_volker","isLocal":false,"last_fetched":"2026-01-24 14:16:35.443Z","outbox":"https://mastodon.social/users/fm_volker/outbox","preferred_username":"fm_volker","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA+1vPssvb1GEFwneGw4rE\nyY1TjpEuFscy8onb8g9hhmoxPyOmu5ZuD1VlT8MH0VjowklhVfl2R9c2AcmLeFVP\nc3+QXSQbVkXwJMTqX9cwXFPuU5vF2gzxK8jv3zL/J8TelnAme0vBt9064m0WZ+OD\nJ6N5asJgmY/IFOqJJfDJ4Reasye34qenPEiJLU+MDzpnjQx27g8u/rtdNYkAXW+e\ngEe4cgk8hVzbRZwAAQWFeXTUzVgL1oXK1asXyfx9gGJz3buXWv6H8zyjKrV2ZucS\n5Wi+IsP2/NdPEhp+NL+43eyyalSzqhCibmUv5PFGEf91hQ/kzAnod4OSvAbXrR6N\nNQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

","updated":"2026-01-24 14:16:35.444Z","user":"","username":"Volker Stolz"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

IMDEA Software Institute

Followers