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: 🇳🇱 🏴 🇬🇧 🇪🇺