Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.
www:
https://tyde.systems/Pronoun’s: he/his
Locations: 🇳🇱 🏴 🇬🇧 🇪🇺
Published at
2026-10-25T10:30:24ZEvent JSON
{
"id": "1c025e9cac87c5a0274be723f1c4cc290b601bb689849b6832541551ee95628d",
"pubkey": "2facc67002d7b8985083db17026756e8fb094c60d11c1e632a949a59079e4809",
"created_at": 1792924224,
"kind": 0,
"tags": [
[
"proxy",
"https://discuss.systems/users/jfdm",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://discuss.systems/users/jfdm",
"pink.momostr"
],
[
"-"
]
],
"content": "{\"name\":\"Jan de Muijnck-Hughes\",\"about\":\"Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL \u0026 FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, \u0026 much much more! My work doesn’t define me; it is not my identity.\\n\\nwww: https://tyde.systems/\\nPronoun’s: he/his\\nLocations: 🇳🇱 🏴 🇬🇧 🇪🇺\\n\",\"website\":\"https://discuss.systems/@jfdm\",\"picture\":\"https://cdn.discuss.systems/accounts/avatars/109/604/343/824/886/175/original/f2d879eddbbc9d21.jpeg\",\"nip05\":\"jfdm_at_discuss.systems@momostr.pink\"}",
"sig": "651fd632a599a51a0760dca446cd3d6d6e52c674f7effb7e42a8e0d2bd27418bafaf581a3f3065c07fd02f4e2132299ffbbcb330a682573c60e71d19becf69ab"
}