Back to advisors
XR
Xavier Rival
Adjunct Professor
École Normale Supérieure · FranceMemCAD ERC Projectthe Xisa analyzerStatic analysis of probabilistic programsCertified compilation the Lcertify translation validatorSlicing, dependence semanticsStatic analysis of Spreadsheet ApplicationsStatic analysis of JavaScript Software
Data verified 9/6/2026Source