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