vzaliva

Karma: 1400

Joined: 将近 10 年前

ID: vzaliva

About

Technologist. Researcher in programming languages and formal verification.

Submissions

Visit submission history to see stories and comments by vzaliva.