Join Nostr
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: 🇳🇱 🏴󠁧󠁢󠁷󠁬󠁳󠁿 🇬🇧 🇪🇺
Public Key
npub197kvvuqz67ufs5yrmvtsye6karasjnrq6ywpuce2jjd9jpu7fqys9tzday
Profile Code
nprofile1qqszltxxwqpd0wyc2zpak9czvatw37cff3sdz8q7vv4ffxjeq70yszgpp4mhxue69uhhjctzw5hx6egpz3mhxue69uhhyetvv9ujuerpd46hxtnfdukd3el0
Publishing to