People

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms.

University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.

University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .

Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.

Theoretical and applied machine learning guy. Contact information and selected publications.

Stanford University - Syntax, computational linguistics.

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.

CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management