Computer_Science-People-C

Cardelli, Luca- Microsoft Research - Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues.
Charniak, Eugene- Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript. Brown University.
Carter, Bradley D.- Software engineering, software metrics. Mississippi State University.