Alex Polozov

Registered user since Thu 13 Nov 2014

Name:Alex Polozov
Country:United States
Affiliation:Microsoft Research
Research interests:Program Synthesis, Formal Logic, Machine Learning, Deep Learning

Contributions

Show activities from other conferences

SPLASH 2018-profile
View general profile