HP Labs - Java, Garbage collection, language theory
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modelling.
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
York University, Ontario - Concurrent programming languages, semantics, specification languages.
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
|