University of Edinburgh - Computational linguistics, cognitive science, discourse generation.
University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture.
Carnegie Mellon University - Internet services and high-performance distributed computing.
Queen Mary and Westfield College - Semantics of programming languages with a primary focus on state.
Swedish Institute of Computer Science - Language engineering, computational linguistics, information extraction and machine learning.
Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic.
National University of Singapore - Database performance issues, indexing techniques, multimedia databases, high-dimensional databases and internet applications
Texas A&M University - Research and topics on interconnection networks.
CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems.
Centro de Investigación Científica y de Educación Superior de Ensenada - Planning and Control of Robotics Tasks for Complex Object Reconstruction and Recognition.
|