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
nprofile1qqszltxxwqpd0wyc2zpak9czvatw37cff3sdz8q7vv4ffxjeq70yszgpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dspjhnnu
Publishing to