Project-team ANTIQUE Static Analysis by Abstract Interpretation Static Analysis by Abstract Interpretation
Centre(s) inria Inria Paris Centre In partnership with CNRS,Ecole normale supérieure de Paris Publications HALActivity reportsTeam's website Contacts Jerome Feret Team leader Meriem Guemair Team assistant Diana Marino Duarte Team assistant News The unexpected avenues of technology transfer with Matrix Lead 13/11/2019 The unexpected avenues of technology transfer with Matrix Lead 18/10/2018 Job opportunities PhD Position F/M Abstract Interpretation for Explainable Artificial Intelligence (AI4XAI) Deadline to apply 27/05/2025 See more news Discover similar project-teams about the same theme
Job opportunities PhD Position F/M Abstract Interpretation for Explainable Artificial Intelligence (AI4XAI) Deadline to apply 27/05/2025
