HK

vzaliva

Born on June 27, 2015•1770 Karma
Technologist. Researcher in programming languages and formal verification. https://zaliva.org/