Team Leader (BioComputing)




I am interested in modeling and analyzing biological systems by means of computational formal methods, notably derived from the semantics of programming languages and logics. For some time, my research focused on expressing stochasticity and spatial aspects arising from gene expression, cellular compartments and developmental biology.
I also contributed to model simplification methods and model equivalences in order to reduce the complexity of biological models while preserving their properties. I am currently interested in applications to health science.

Previously, I have been working on (computational, not biological) concurrent systems (especially pi-calculus and ambient calculus) and type systems. My PhD thesis was devoted to the static analysis of a property called « receptiveness » in concurrent programs.