vzaliva

joined 6/27/2015, 3:37 PMhas 1,435 karma

Technologist. Researcher in programming languages and formal verification.

Posts