====== Research Areas ======

   *  Systems biology
   *  Application of net theory to bioinformatics
   *  Graph theory
   *  Program Net & Petri Net
   *  Application of model checking to bioinformatics