I am a recovering academic who enjoys taking ideas from programming languages (type systems, semantics, logic, &c.) and applying them to distributed systems and security. To give a flavour, some previous projects are listed below. Nowadays, I am having fun with an
This page was last modified on 1980-01-01 .
I am a recovering academic who enjoys taking ideas from programming languages (type systems, semantics, logic, &c.) and applying them to distributed systems and security. To give a flavour, some previous projects are listed below. Nowadays, I am a back-end engineer at Postman , having been acquired via Akita .