vzaliva

Karma: 1434

Joined: il y a presque 10 ans

ID: vzaliva

About

Technologist. Researcher in programming languages and formal verification.

Submissions

Visit submission history to see stories and comments by vzaliva.