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 Quantum algorithms & Computing Crédit image : Alice & Bob. Quantum computing: an unprecedented architecture to eliminate errors 16/04/2025 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
Quantum algorithms & Computing Crédit image : Alice & Bob. Quantum computing: an unprecedented architecture to eliminate errors 16/04/2025
Job opportunities PhD Position F/M Formal Verification of Higher-Order, Probabilistic Programs Deadline to apply 31/07/2025
