Phone: +1 (425) 623-4121
Office: CSE 362
I am Alex (Oleksandr) Polozov, a second-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: