Indian Institute of Technology, Bombay - Formal techniques for analysis, Verification, Validation of digital systems, Asynchronous timing analysis.

Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory.

University of Salzburg - Programming, software engineering, programming languages, performance and reliability of communication and computer systems, parallel and distributed algorithms, and distributed discrete event simulation.

James Cook University - Secret sharing schemes, society-oriented cryptography.

Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming Languages.

Home page for Ramakrishnan Rajamony, previous graduate student in the ECE Department at Rice University. Personal information, research interests, list of publications.

Pennsylvania State University - Theoretical computer science, programming systems, artificial intelligence.

School of Information Sciences and Technology, Pennsylvania State University - Cognitive Science, Vision, High Performance Computing.

Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.

University of Edinburgh - Theoretical and computational linguistics, semantics, pragmatics, logic and knowledge representation.