返回导师列表
XR

Xavier Rival

Adjunct Professor

École Normale Supérieure · France
MemCAD ERC Projectthe Xisa analyzerStatic analysis of probabilistic programsCertified compilation the Lcertify translation validatorSlicing, dependence semanticsStatic analysis of Spreadsheet ApplicationsStatic analysis of JavaScript Software

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。