PaperHub
影响力指数
44.97/100
前 11%
全站排名 #7,066
发表论文5 篇
平均评分5.8
年均产出1.7 篇/年
AI 学术分析

Loris D'Antoni

Associate Professor@University of California, San Diego·美国·OpenReview
研究方向

formal methods · programming languages · program synthesis

发表论文（5 篇）

合作者 (13)