Dimitri Timofeev

Personal information


Russian Federation

male

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

History


13 years 22 weeks