About
I am a researcher in Programming Languages and Tools lab in JetBrains Research.
Research interests
I am interested in logic and relational programming, partial evaluation, supercompilation, and parsing.
I work with Dmitry Boulytchev and Daniil Berezun on miniKanren functional conversion.