Contact : Dominique Barth, David, UVSQ; Benedikt Bollig, LSV, ENS Paris Saclay
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
- 2018 | UPSCaLe : Universality of Proofs in SaCLay
- 2020 | TransForm: Transactions Formelles
- 2019 | Algo: Algorithmique et complexité du Plateau de Saclay
- 2018 | TheoBioR: Méthodes informatiques pour la modélisation et l’analyse des réseaux biologiques
- 2017 | PeRSPECTiVE
- 2016 | OVSTR Optimisation des Systèmes Temps Réel Optimizing Real-Time Systems
- 2015 | Combinatoire
- 2015 | SaSeFor
- 2014 | ELFIC
- 2013 | SHy
- 2020 | vrAI: FOrmal VeRification and AI
- 2018 | SDT: Sécurité des données textuelles
3 – PhD
- 2020 | SDRAM : Secure Dynamic ReAl-time Memory hierarchy
- 2020 | NumRes : Reasoning about Concurrent Game Structures with Numerical Resources (NumRes)
- 2020 | IndepTh : Definitions and proofs by induction in dependent type theory
- 2020 | ESCAPE: EcoSystem Causal Analysis Using PEtri net unfoldings
- 2020 | CoLeSIAw : Continuously Learning Complex Tasks via Symbolic Analysis
- 2019 | ROTOR Algorithmic properties of rotor walks in graphs, and related decision models
- 2019 | Discobole: Distributed computation for blockchain with long term security
- 2018 | EPiPA
- 2016 | ModestBrood
- 2016 | ELEFFAN
- 2016 | Compositional controller synthesis for hybrid systems
- 2016 | AlgoReCell
- 2015 | Ergo Fast : Amélioration de performances pour le solveur SMT Alt-Ergo
- 2015 | DisMonTest
4 – Post-Doc – Engineer
- 2020 | ATOM
- 2019 | TacticTHo
- 2019 | PREGARI
- 2019 | LFAT
- 2018 |DIGIT: Distributed Pulse Generation in Bacterial Colonies
- 2018 | FAC
- 2018 | DynaRNA
- 2018 | DafPUP
- 2017 |CODECSYS: Contract Based Design of Cyber-Physical Systems
- 2017 | LFAT