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