I am Alex (Oleksandr) Polozov, a third-year graduate student in the Computer Science & Engineering Department at the University of Washington. My advisors are Zoran Popović and Sumit Gulwani. I work on applying formal methods of programming languages and program synthesis to aid STEM education and end-user data manipulation.
I received my B.S. in System Analysis with honors from the National Technical University of Ukraine "Kyiv Polytechnic Institute" in 2012.
My interests lie in the applications of formal methods (software engineering, program synthesis, answer set programming) for math/programming education and end-user data manipulation. Currently, I am working on the following projects:
- Personalized mathematical word problem generation using answer set programming
- LaSE: end-user query languages for semi-structured data extraction
- Meta-framework for synthesis of domain-specific languages from examples