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.

Stanford University - Databases: semistructured data and XML, data warehousing and heterogeneous database integration, active database systems, constraint management, rule languages and systems, issues in telecommunications networks.

Natural language understanding, science education.

University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization.

University of Cambridge - Distributed systems.

University of Udine - Real number computability, semantics of concurrency, lambda-calculus.

Agricultural University of Athens - Data modelling, temporal databases, spatial database systems, image processing.

Rimon Barr: Home page

Baruch College, The City University of New York - Temporal databases, nested relations, statistical and scientific databases, geographic information systems.

UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.