J
jfdm@discuss.systems
@jfdm@discuss.systems
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.
Reputation
0
Profile views
1
Joined
Last Online
www
tyde.systems/
Pronoun’s
he/his
Locations
🇳🇱 🏴 🇬🇧 🇪🇺