Vasiliy Yorkin

Vasiliy Yorkin

https://vyorkin.org/. Blockchain security, DeFi, statically typed functional programming, compilers, type theory and formal verification. Tweets @yorkin