Alex Polozov

Registered user since Thu 13 Nov 2014

Name: Alex Polozov

Country: United States

Affiliation: Microsoft Research

Personal website: http://www.alexpolozov.com/

Research interests: Program Synthesis, Formal Logic, Machine Learning, Deep Learning

Contributions

MAPL 2019Committee Member in Program Committee within the MAPL 2019-track
Show activities from other conferences

Using general profile