vzaliva

Created: 10 years ago
Karma: 1396
Technologist. Researcher in programming languages and formal verification.