Evgeniy
161
reputation
1
3
Scope of interests: Functional programming, Programming language semantics, Formal verification, Systems design