University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
University of Sussex - Shallow parsing, semantic tagging, natural language processing.
University of Edinburgh - Natural language generation.
University of Edinburgh - Architectural and representational issues in automated assembly, robot and sensor technology, Philosophical issues and social implications of artificial intelligence.
University of New South Wales - Parallel and distributed computing, heterogeneous distributed computing, groupware and workflow, electronic commerce, network computing, software engineering, object-oriented design and technology.
University of Groningen - Image and signal processing, information theory,model selection, Modula-3.
Universitat Politècnica de Catalunya - Integrity constraints, temporal databases, deductive databases.
University of Salzburg - Natural computation, image processing, parallel computation, software engineering, and robotics.
University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
|