Denis Kasak

https://dkasak.github.io/ [email protected]

Narsil Consulting Croatia Security researcher and programmer from Croatia. Working on the Matrix protocol. Interested in type theory, formal modelling, category theory, etc.