vzaliva
Joined 11 years ago, with 1688 karma
Submissions
Comments
Favorites
Follow via RSS
Technologist. Researcher in programming languages and formal verification.