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 Xavier Rival 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 Campagne Doctorant: Impact of Qualitative Variations of the Dynamics of Boolean Networks Deadline to apply 19/05/2024 See more news Discover similar project-teams about the same theme
Job opportunities PhD Position F/M Campagne Doctorant: Impact of Qualitative Variations of the Dynamics of Boolean Networks Deadline to apply 19/05/2024