vzaliva

...joined 11 years ago, and has 1770 karma

submissions / comments / favourites

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/