vzaliva
has 1769 karma and joined 11 years ago
submissions
/
comments
/
favourites
Technologist. Researcher in programming languages and formal verification. https://zaliva.org/