University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. http://www.dimi.uniud.it/~giorgio/
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. http://www.cs.williams.edu/~kim/