Security researcher and programmer from Croatia. Working on the Matrix protocol. Interested in type theory, formal modelling, category theory, etc.
-
Narsil Consulting
- Croatia
- https://dkasak.github.io/
- @deniskasak
- in/denis-kasak-91461055