vzaliva

Technologist. Researcher in programming languages and formal verification.

• Created27 Jun, 2015
• Karma1328