top
new
show
ask
jobs
about

vzaliva

...joined 11 years ago ago. Has 1731 karma.

submissions / comments / favourites

Technologist. Researcher in programming languages and formal verification.