Williams College - Semantics and design of programming languages, type theory, object-oriented lang...
University of Washington - Human-computer interaction, constraint-based languages and systems, and ...
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theor...
University of California, Santa Barbara - Computer aided verification, formal methods, static analy...
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualizat...
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distrib...
University of Technology Aachen - Software Engineering, Incremental Integration.
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empiric...