comitative

Personal information


Russian Federation

male

Formal Semantics, Program Analysis, Program Transformation, Type Theory, Functional Programming, Logic Programming

History


19 years 40 weeks