CODEX

Our research work seeks to push the fronteer of XML technology innovation in three interconnected directions.
• First, we propose to study languages, algorithms, and develop prototypes for efficient and expressive XML processing, in particular advancing towards massively distributed XML repositories.
• Second, we will consider models for describing, controlling, and reacting to the dynamic behavior of XML corporas and XML schemas with time.
• Third, we propose theories, models and prototypes for composing XML programs for richer interactions, and XML schemas into rich, expressive, yet formally grounded type descriptions.