Projects

HTPL: User-friendly interface from my M.Sc. thesis , where I reverse engineered and formalized a proprietary PKI, and further designed a DSL for the system’s low-level trust policy languages and interface. Built on Haskell. Under NDA.

RL/SRL: Simplified version of my B.Sc. thesis implementation , where a fellow student and I implemented two reversible programming languages. Built on Haskell. The web interface can be found here .

squidb.it: A simple DCA platform that uses Kraken’s API, allowing users to buy crypto-currency automatically and regularly through one or more configurable buy plans. Built on PHP and Apache.

My top-scoring solution in the course Advanced Programming at the University of Copenhagen, a master’s level course focusing on Haskell, Prolog, and Erlang. The report can be found here.