Justin Thaler

Justin Thaler

基本信息

主页

google scholar

在可验证计算领域还有很多工作。