Corrado Priami
bioinformatics biological networks biology complexity computational biology computational systems biology computer computer science gene networks genetic networks genetic regulatory networks life sciences metabolic pathways model checking algorithm analysis and problem complexity