User: vzaliva

  • Created: 4015 days ago
  • Karma: 1770
  • Technologist. Researcher in programming languages and formal verification. https://zaliva.org/