Description du sujet de thèse

This thesis focuses on the design and implementation of an incremental analysis for protein instance interaction models described in Kappa. We will compare two approaches: the first based on the use of hypergraphs to express how each conclusion was inferred, the second proposing a parametric model analysis interfaced with a classical incremental analysis to add rules on the fly. We will also study the meta-languages ​​proposed in the literature to compile them into parameterized models, and thus allow their upstream analysis. Finally, the integration of incremental analysis into an editor raises difficult engineering questions that are beyond the scope of the thesis.

Contexte de travail

This thesis will be conducted within the Antique team, in the Computer Science Department of the École Normale Supérieure. The main research area of ​​this team is static analysis by abstract interpretation—a unifying theory for formally comparing the behavior of a dynamic system at different levels of abstraction. The thesis will be supervised by Jérôme Feret, a specialist for more than fifteen years in abstract interpretation of signaling pathway models written in Kappa.