The Technion - Mathematical logic and its interaction with computer science, database theory, finit...
University of Groningen - Image and signal processing, information theory,model selection, Modula-3...
University of Salzburg - Natural computation, image processing, parallel computation, software engi...
University of Texas - Parallel and distributed computing, specification and design of synchronous a...
Indian Institute of Technology, Kanpur - Artificial Intelligence, Computer Vision, Geometric Modell...
IBM T. J. Watson Research Centre - Conversational Multi modal computing, Mobile speech solutions, S...
Chennai Mathematical Institute - logic and models for concurrency
University of Bologna, Italy - Type systems for programming languages, logic in computer science, l...
Stanford University - Syntax, computational linguistics.
Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security...
University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems an...
University of Cambridge - Semantics and compilation of programs, static analysis of programs.