{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 23:43:05.768Z","domain":"mastodon.3fx.ch","followerCount":89,"followers":"https://mastodon.3fx.ch/users/bfiedler/followers","following":"https://mastodon.3fx.ch/users/bfiedler/following","followingCount":159,"icon":"https://mastodon.3fx.ch/system/accounts/avatars/000/000/001/original/2963dc9cc9dbc12e.jpeg","id":"93obz7eiqvjtu84","inbox":"https://mastodon.3fx.ch/users/bfiedler/inbox","iri":"https://mastodon.3fx.ch/users/bfiedler","isLocal":false,"last_fetched":"2025-10-31 23:47:58.727Z","outbox":"https://mastodon.3fx.ch/users/bfiedler/outbox","preferred_username":"bfiedler","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0arPe/62bxtGIrdSuo6m\n6lNsleO+RceGOHW/FTMFHfQrRdzf6ZI6L1jVMmYEBXd4Y0fBuXPB1amV5Ggvu8rc\nfvELU1cmloNhlmiR1rEt3oC8fhCy17beyTiwxOu1+RZIllrv8f3Tvq9vw7V8A8ap\nxIswnXw2u3ZVXKLsk10mL19k+M2SR5/1GnFbTVKEZMy3HatCcosUAHz4GlWGJ6Gc\no7JHN5HMh4kR20T0U7ch3bAK7g3ZAFB2wXW5oSL6PsP4cdEFs2vFFe+QtLnXUznZ\ntXwECEPeM4dzQdkg2wU99fnr+l092eBhKGJ2TazrIshouGRd9V5ePDaYzafQREoM\n4QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-01 00:00:00.000Z","summary":"

(de)

Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten.

Manchmal spiele ich Schach.

(en)

I'm a computer science PhD student focussing on verification at the hardware-software boundary. Sometimes I actually understand what I'm doing.

I like playing chess every now and then.

Personal von @flaps

#nobot

","updated":"2025-10-31 23:47:58.727Z","user":"","username":"Ben Fiedler"}],"page":1,"perPage":10,"totalItems":1,"totalPages":1}

Andrea Lattuada

Followers