Research

These are the research fields I'm interested in:

Workflow systems with temporal constraints

Timed automata

Model checking

Protein structure prediction problem

Module identification

String comparison problem

Coupling biological models