Stack Overflow
Stack Overflow

Evgeniy
383
reputation
2
8
  • Moscow, Russia
  • Member since April 01 2011
  • 33 profile views
  • Last seen Jul 26 '23 at 13:46

Scope of interests: Functional programming, Programming language semantics, Formal verification, Systems design