I have been mainly interested on the analysis and validation of qualitative models of biological regulatory networks.
In particular, through the use of formal verification techniques like model checking and temporal logic, for the exploration of interesting dynamical behaviours of qualitative biological models.
I am currently working on the definition of diagnostics for the semi-automatic revision of biological models.
I belong to http://CoLoMoTo.org (Consortium for Logical Models and Tools), a consortium of research groups interested in logical modelling.
The consortium works on the definition of standards for model representation and interchange (especially the SBML qual format), and on the comparison of methods, models and tools.
In this context, I am currently involved on the development of:
- http://ginsim.org, a computer tool for the modeling and simulation of genetic regulatory networks.
- http://epilog-tool.org, a computer tool for the modeling, simulation and visualisation of logical models for epithelial pattern formation.
I am also interested on the study of the topological structure of the evolutionary relationships within bacterial populations.
I collaborate on the development of plugins for http://www.phyloviz.net.
Finally, I collaborate, since its creation, in the regular maintenance and development of new functionalities of the http://yeastract.com database, a repository of regulatory associations for Saccharomyces cerevisiae.
We are releasing http://pathoyeastract.org database, a repository of regulatory associations in pathogenic Candida species (currently C. albicans and C. glabrata).