Project-team SPLITS Secure Programming Languages & Tools for Security Secure Programming Languages & Tools for Security
Centre(s) inria Inria Centre at Université Côte d'Azur Publications HALActivity reportsTeam's website Contacts Tamara Rezk Team leader Christine Foggia Team assistant News Mathematical tools for modeling © Inria / Photo H. Raguet Social networks: Can mathematical modeling help reduce polarization of opinions? 11/05/2022 Job opportunities PhD Position F/M Formal Verification of Higher-Order, Probabilistic Programs Deadline to apply 31/07/2025 See more news Discover similar project-teams about the same theme
Mathematical tools for modeling © Inria / Photo H. Raguet Social networks: Can mathematical modeling help reduce polarization of opinions? 11/05/2022
Job opportunities PhD Position F/M Formal Verification of Higher-Order, Probabilistic Programs Deadline to apply 31/07/2025
