vzaliva

joined 6/27/15, 3:37 PMhas 1435 karma

Technologist. Researcher in programming languages and formal verification.

This user has no posts