François Fages
Scholar

François Fages

Google Scholar ID: SAkc_mEAAAAJ
Research Director, Inria, Saclay - Ile de France
Computational systems biologyprogramming theoryconstraint logic programmingoptimization
Citations & Impact
All-time
Citations
1,077
 
H-index
17
 
i10-index
36
 
Publications
20
 
Co-authors
30
list available
Contact
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
  • Leads the Lifeware project team; has extensive research in computational systems biology and synthetic biology; developed the BIOCHAM software.
Research Experience
  • Since 2002, coordinating the development of the biochemical abstract machine (BIOCHAM) modeling and analysis software based on formal methods ranging from graph theory to model-checking and symbolic computation. Using this software to address challenging biological questions in cell signaling, cell cycle control, and circadian clock, as well as synthetic biochemical circuit design. Also, maintaining a research activity in constraint logic programming for declarative modeling and solving combinatorial or continuous optimization problems.
Background
  • Research interests: logic and computation, design of high-level modeling/programming languages. Current research focuses on computational systems biology and synthetic biology, viewing cells as machines and chemical reaction systems as programs, and developing analysis and design tools for chemical reaction networks.
Miscellany
  • Professional webpage at Inria, part-time professor at Ecole Polytechnique.