| | - Cormen Thomas H
Algorithm engineering, parallel computing, speeding up computations with high latency. Computer science writing. ...
http://www.cs.dartmouth.edu/~thc/
|
| |
- Cau Antonio
De Montfort University Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, reengineering. ...
http://www.cse.dmu.ac.uk/~cau/
|
| |
|
- Chakraborty Supratik
Ive taught CS331, an undergraduate course on Theory of Computation in the autumns of 2000, 2001, 2002 and 2003. In the springs of 2005, 2006 and 2007, I taught CS206, an undergraduate course on Formal Methods in Computer Science. ...
http://www.cse.iitb.ac.in/~supratik/
| | |
| |
- Claude McGill University
Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory. ...
http://www.cs.mcgill.ca/~crepeau/index_en.html
|
| |
- Ciaccia, Paolo
University of Bologna based retrieval, data models, query languages, similarity queries, fuzzy retrieval, the Mtree, signature files, grid files, schemabased navigation, structures on the web. ...
http://www-db.deis.unibo.it/~pciaccia/
| | - Microsoft Research
Type theory and operational semantics, mostly for applications to language design, semantics, and implementation. Semantic and typetheoretic foundations of objectoriented languages. Global and mobile computation issues. ...
http://lucacardelli.name/
|
| |
