University of Texas in Arlington - Temporal databases, conceptual modeling, object-oriented databas...
University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and thei...
University of Sydney - Graph drawing, information visualization, software visualization, algorithms...