vzaliva
Joined 11 years ago, with 1825 karma
Submissions
Comments
Favorites
Follow via RSS
Technologist. Researcher in programming languages and formal verification. https://zaliva.org/