vzaliva
...joined 10 years ago, and has 1491 karma
submissions / comments / favourites
Technologist. Researcher in programming languages and formal verification.
...joined 10 years ago, and has 1491 karma
submissions / comments / favourites
Technologist. Researcher in programming languages and formal verification.