I work on neural program synthesis from input-output examples and natural language, intersections of machine learning and software engineering, and neuro-symbolic architectures. I am particularly interested in combining neural and symbolic techniques to tackle the next generation of AI problems, including program synthesis, planning, and reasoning. My main passion of the past few years has been PROSE, a program synthesis framework for mass-market development of by-example technologies.

For details on other projects, please see my CV. For recent publications, it’s best to check out my personal websiteGoogle Scholar, or DBLP.

I completed my Ph.D. in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. My advisors were Sumit Gulwani and Zoran Popović. Before joining UW, I received my B.S. in System Analysis with honors from the National Technical University of Ukraine “Kyiv Polytechnic Institute” in 2012.





  • Program Synthesis via Neural-Guided Deductive Search
    Invited talk at the Machine Learning + Programming Languages Workshop 2018.
  • Bringing Program Synthesis to the Mass Markets
    Approaches and Applications of Inductive Programming, Dagstuhl Seminar 2017.
  • Data Processing Using Input-Output Examples with Microsoft PROSE SDK
    Creating Programming-By-Example Features in Arbitrary Domains with Microsoft PROSE SDK
    A series of tutorials hosted as part of the Machine Learning & Data Science Conference (MLADS) 2017.
  • PROSE: Inductive Program Synthesis for the Mass Markets
    Invited talk & Hackathon for graduate students at UC Berkeley, January 2017.
  • Automated Program Synthesis
    Invited talk at the Human-Like Computing Machine Intelligence Workshop (MI20-HLC), October 2016.
  • PROSE: Growing Program Synthesis to Industrial Applications
    UW PLSE Research Retreat Workshop, September 2016.
  • PROSE: Programming using Examples
    Co-lectured with Sumit Gulwani. Invited tutorial at the ACM SIGPLAN Conference on Programming Languages Design & Implementation (PLDI) 2016.
  • Program synthesis in the industrial world: inductive, incremental, interactive
    Alex Polozov, Sumit Gulwani, and the rest of the PROSE team
    5th Workshop on Program Synthesis (SYNT), 2016.
  • Programming by Examples
    Co-lectured with Sumit Gulwani at Marktoberdorf Summer School 2015.
  • Personalized Mathematical Word Problem Generation
    Approaches and Applications of Inductive Programming, Dagstuhl Seminar 2013.

Professional Activities


  • Program committee member for IJCAI-ECAI 2018
  • Ad-hoc reviewer for the Theoretical Computer Science Journal, 2015
Français English