vzaliva

Karma: 1400

Joined: almost 10 years ago

ID: vzaliva

About

Technologist. Researcher in programming languages and formal verification.

Submissions

Visit submission history to see stories and comments by vzaliva.