CNRS Research Fellow (CR1), IPAL Research Fellow from 2010 to 2013, Acticve collaborator since 2013
French National Center for Scientific Research (CNRS)
Topics of interest:
BioInformatics: Metabolic Pathways, Complex Systems.
Automata, Complexity and Logic: Automated Verification, Message Sequence Charts, Games Theory.