Welcome

I am Alex (Oleksandr) Polozov, a senior staff research scientist at Google, formerly at X, the moonshot factory. I teach machines to write and analyze source code, and broadly interested in program synthesis from examples and natural language, AI-assisted software engineering, and neuro-symbolic reasoning. You might want to check out my publications, notable writing, talks, or blog posts. I also spend an inordinate amount of time complaining about technology and reviewing movies on Twitter.

Previously, I was a principal researcher in the Deep Learning group at Microsoft Research, Redmond. There, I helped create PROSE, a framework for mass-market development of programming-by-example technologies, and shipped multiple program synthesis driven tools.

Before that, I completed my Ph.D. in the Paul G. Allen School of Computer Science & Engineering at the University of Washington, advised by Sumit Gulwani and Zoran Popović. Originally from 🇺🇦 Ukraine.