This research deals with computational methods for solving algorithmic problems that arise in computational biology. It is centered around the analysis of biochemical networks, the reconstruction of phylogenies, and the application of graph grammars and graph transformation in computational and systems biology.
This research deals with pattern recognition problems in which objects are represented by attributed graphs. It is centered around a series of related problems: exact and approximate graph and subgraph isomorphism, and maximal common subgraph and minimal common supergraph.
This research deals with specification problems whose static structure is represented by graphs and whose dynamics is described by graph transformations. It is centered around the use of algebraic methods in the study of graph rewriting, graph grammars, and graph transformation.