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.