vzaliva

Created: 9 years ago
Karma: 829
Techlogist. Researcher in programming languages and formal verification.