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.
Brown University - Influential researcher in Natural Language Processing and Artificial Intelligence. His home page features some of his publications, in postscript.
University of Udine - Knowledge-based systems (diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning) and human-computer interaction (desktop virtual reality, information visualization, 3d, multimedia and multimodal interfaces).
University of Sussex at Brighton - Natural language processing, stochastic lexicalized grammars, shallow parsing and knowledge extraction, parsing disambiguation and efficiency, parser evaluation, large-scale grammar and lexicon development, linguistic approaches to surface generation.
University of Bologna - Content-based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the M-tree, signature files, grid files, schema-based navigation, structures on the web.
University of Ulm - Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the Temporal Logic of Actions.
Receive hundreds of new customers for your business
ABSOLUTELY FREE!
Listing your business in Computer Crawler, the leading Computer Search Engine and Directory Online is the best way to reach your target niche audience. List now to ensure your business is found.
™ Company. All Rights Reserved.