FilterHN
new
ask
show
jobs
submit
FilterHN
show menu
vzaliva
since 6/27/2015
1212 karma
submissions
comments
favorites
Technologist. Researcher in programming languages and formal verification.