| LTN |
C: Computer Science People C:  Cau, AntonioComputers: Cau, People C De Montfort University - Formal methods Antonio verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering. Crépeau, ClaudeComputers: Crépeau, People C McGill University - Cryptographic protocols Claude quantum cryptography, quantum teleportation, quantum computing, and coding theory. Cardelli, LucaComputers: Cardelli, People C Microsoft Research - Type theory and operational semantics Luca mostly for applications to language design, semantics, and implementation. Semantic and type-theoretic foundations of object-oriented languages. Global and mobile computation issues. Canver, Ercüment - CComputers: Canver, People C University of Ulm - Object-oriented approaches to formal specification and verification Ercüment C formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the Temporal Logic of Actions. Cormen, Thomas H.Computers: Cormen, People C Associate Professor at Dartmouth Thomas H. and co-author of arguably the leading textbook on algorithms. Cristianini, Nello - CComputers: Cristianini, People C UC Davis - Design and analysis of machine learning algorithms Nello C . Cohen, BernieComputers: Cohen, People C City University Bernie London - Formal methods and modelling. Cooper, ShaneComputers: Cooper, People C Collection of programming-related links Shane . Chakrabarti, SoumenComputers: Chakrabarti, People C Indian Institute of Technology Soumen Bombay - Information Retrieval, Text Databases, Data Mining. Chandran, SharatComputers: Chandran, People C Indian Institute of Technology Sharat Bombay - Graphics, Computer Vision, Computational Geometry, Parallel Algorithms. Cattani, Gian Luca - CComputers: Cattani, People C University of Cambridge - Applications of category theory to computer science Gian Luca C semantics of concurrent process languages. Collini-Nocker, BernhardComputers: Collini-Nocker, People C University of Salzburg - Network traffic measurements Bernhard LAN interconnection via satellite, and interactive multimedia satellite information services. Ernesto Costa's Home PageComputers: Ernesto, People C University of Coimbra Costa's Home Page Portugal - Artificial intelligence, evolutionary computation. Chakraborty, Supratik - CComputers: Chakraborty, People C Indian Institute of Technology Supratik C Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis. Chittaro, LucaComputers: Chittaro, People C University of Udine - Knowledge-based systems Luca diagnosis, temporal reasoning, modeling of physical systems, qualitative reasoning, and human-computer interaction ,desktop virtual reality, information visualization, 3d, multimedia and multimodal interfaces,. A Day in the Life of... - CComputer Science People - Archive of short biographies of how people in computer science/management information science spend their days in the Life of.. C Hosted by Crossroads, the student magazine of the Association for Computing Machinery. HomePageSearchComputer Science People - Searchtool for Personal Home Pages of Computer Scientists HomePageSearch Provides more than 75000 Links to Personal Home Pages of Computer Scientists. CS Faculty LinksComputer Science People - List of Schools with Computer Science Departments Links linked directly to their faculty lists. | |||||||