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