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