Alex Polozov

Alex Polozov is a highly accomplished senior researcher in the Deep Learning Group at Microsoft Research, based in Redmond, USA. His expertise lies in neuro-symbolic AI, reasoning, and the convergence of deep learning with programming languages. His research encompasses areas such as program synthesis, machine-learned bug finding, software engineering support, and question answering across various domains like databases and images. Alex has made significant contributions to the field, with publications at prestigious conferences like NeurIPS, ICLR, OOPSLA, ACL, among others. He holds a Ph.D. from the University of Washington, focusing on inductive program synthesis for mass-market applications under the guidance of Sumit Gulwani and Zoran Popovic. Prior to his doctoral studies, Alex completed his Bachelor's in System Analysis at the National Technical University of Ukraine 'Kyiv Polytechnic Institute'. Before joining Microsoft Research, he gained valuable experience working at Yandex on computational linguistics projects, guiding ACM ICPC contestants, and instructing courses on functional programming and algorithms for undergraduate Computer Science students.