Alex Polozov-2018年GPCE

2018年11月5日星期一至6日星期二美国马萨诸塞州波士顿

与位于同一位置2018年SPLASH

自2014年11月13日星期四起注册用户

姓名：亚历克斯·波洛佐夫

国家/地区：美国

附属：微软研究院

个人网站：http://www.alexpolozov.com/

研究兴趣：程序综合、形式逻辑、机器学习、深度学习

贡献

2018

溅水

GPCE公司

GPCE 2018项目委员会委员

显示其他会议的活动

SPLASH 2018-简介
查看常规配置文件