Scholar
Sylvain Soliman
Google Scholar ID: 8WmCFEkAAAAJ
Inria Saclay, Lifeware team
Citations & Impact
Citations
1,128
H-index
17
i10-index
30
Publications
20
Co-authors
32
list available
Publications
Resume (English only)
Academic Achievements
- Published 'Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding' in Theoretical Computer Science (2023)
- Co-authored 'COVID19 Disease Map, a computational knowledge repository of virus-host interaction mechanisms' in Molecular Systems Biology (2021)
- Published 'Graphical Conditions for Rate Independence in Chemical Reaction Networks' at CMSB 2020
- Published 'Automated inference of Boolean models from molecular interaction maps using CaSQ' in Bioinformatics (2020)
- Submitted HDR thesis 'A structural perspective on the dynamics of biochemical systems' (2016)
- Published 'On the Trap Space Semantics of Normal Logic Programs' at ICLP 2025
- Published 'DigiDermA: Modeling Cellular and Molecular Interactions in Atopic Dermatitis' at JOBIM 2025
- Published 'Graphical conditions for the existence, unicity and number of regular models' at ICLP 2024
- Published 'On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry' at ISSAC 2024
- Co-authored 'Drug-target identification in COVID-19 disease mechanisms using computational systems biology approaches' in Frontiers in Immunology (2024)
Background
- Permanent researcher (CR) at Inria Saclay, Lifeware team (formerly Contraintes group) since 2002.
- Research interests focus on Computational Biology and Theoretical Computer Science.
- One of the main developers and maintainers of the BIOCHAM platform, where techniques based on Constraint Programming, Model-Checking, and other formal methods are implemented.
- Taught for about 15 years in the MPRI and for two years in the AI&AVC Master’s program.
- President of Inria Saclay’s Scientific Commission; served on various Ph.D. grant committees since 2016; previously president of the Doctoral Committee and the Technological Development Commission at Rocquencourt.
