Loading...
 
[Show/Hide Left Column]

SciLex Axis        

SciLex:Software Reliability and Security


Contact : Stefan Haar, LSV & Florent Kirchner, CEA list

The programs are very useful and make our lives much easier. Unfortunately, they are not entirely reliable. They often have "bugs". The development and use of software has changed considerably in recent years. The main evolution comes from the explosion of communications. It is both an opportunity and a threat. The LabEx DigiCosme axis SciLex is to understand the reliability and security of tomorrow's information and communication systems. This research work is structured around 3 main themes:
  • 1 - Safe and Reusable Distributed Programs
  • 2 - Continuous & Discrete Systems: Models and Verification
  • 3 - From High-Level to Low-Level Certification
All these themes are found in the different funded projects by LabEx DigiCosme.
1 - Emerging Project
2 - Working groups
  • GT UPScaLe - 2017 - 2019
    • Contact : Chantal Keller & Frédéric Blanqui - LRI & Inria
    • Theme : Utiliser les preuves comme protocoles de communication entre systèmes de preuves
  • GT HicDiesMeus - 2017 - 2019
    • Contact : Thomas Nowak & Matthias Függer - LRI & LSV
    • Theme : Étudier des problèmes d'ordre physique, biologique ou sociologique dans un contexte d'informatique distribuée.
  • GT PeRSPECTiVE - 2017 - 2018
    • Contact : Evelyne Contejean & Stéphane Demeri - LRI & LSV
    • Theme : Recherche fondamentale sur : spécification, démonstration, du test formel et de la vérification.
  • GT TheoBioR - 2016 - 2018
    • Contact : Loïc Paulevé & Stéphan Haar - LRI & LSV
    • Theme : Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques.
  • GT SDT - 2016 - 2017
    • Contact : Cyril Grouin & Catuscia Palamidessi & Olivier Ferret - LIMSi & LIX & CEA list
    • Theme : Sécurité des Données Textuelles.
  • GT OVSTR - 2015 - 2017
    • Contact : Mathieu Jan & Florian Brandner & Laurent Pautet CEA list & LTCI
    • Theme : Optimisation des Systèmes Temps Réel.
  • GT Combinatoire - 2015 - 2017
    • Contact : Vincent Pillaud & Marie Albenque & Florent Hivert LIX & LRI
    • Theme : Combinatoire énumérative, géométrique et algébrique.
  • GT ELFIC - 2014 - 2016
    • Contact : Sylvie Boldo & Eric Goubault LRI & LIX
    • Theme : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées partielles .
3 - PhD
4 - Post-Doc - Engineer
5 - Guest Scientists