Software development

• I coordinate the development of the Biochemical Abstract Machine, BIOCHAM for modeling, analyzing and synthesizing chemical reaction networks (see video).
  
  
• I developed a generic graphical user interface for constraint logic programming, CLPGUI, in 2002, and revised in 2006.
  
  

I also supervise(d) the development of:

• ClpZinc a Horn clause front-end for the MiniZInc modelling language for expressing search strategies by constraints, developed by Thierry Martinez
  
  
• MiniZinc-CMAES a stochastic optimization backend for the MiniZinc modelling language, developed by Thierry Martinez
  
  
• FO-CTL(ℝlin), a constraint solver for full First-Order Computation Tree Logic with linear arithmetic over the reals, implemented by Thierry Martinez in 2012.
  
  
• Rules2CP, a rule-based modelling language for constraint programming, implemented by Julien Martin from 2007 to 2009.

• CHRat, a modular version of Constraint Handling Rules with ask and tell, implemented by Thierry Martinez in 2008.
  
  
• TCLP, a type checker for Constraint Logic Programming, implemented by Emmanuel Coquery, from 2001 to 2006.

and in a former life at Thomson-CSF (now Thales)

• I developed from 1986 to 1992 a rule-based reactive programming language, which became Ilog Rules (now IBM Ilog).