vzalivajoined on 6/27/20151,583 karmaTechnologist. Researcher in programming languages and formal verification.