My main interests are:
  • Hybrid Systems
  • Model Checking
  • Systems Biology
  • Genome Assembling and Refining
  • Genome Analysis (e.g., Structural Variations, Gene expressions, etc.)
See the list of my publications here.