University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databases, systems integration, distributed and multi-database systems, database models and languages, DBMS system implemention, indexing techniques, software engi http://ranger.uta.edu/~elmasri/
University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory . http://www.cosy.sbg.ac.at/~eder/eder.html