|
|
Current Research Activities
-
XML database theory (Mostrare). We are studying the
expressivenss and efficiency of XML query languages, by using
methods from tree automata theory and computational logics.
-
Query induction from annotated examples (Mostrare). Motivated
by applications in Web information extraction, we investigate
learning algorithms for node selection queries represented by tree
automata by methods from grammatical inference.
-
Stochastic programming languages for systems biology
(BioComputing). We develop new programming languages for
stochastic modeling and simulation of systems in molecular
biology.
|