| Whois | Domain Search | Domain Suggestions | For Sale | Sales History | Auction Search | Domain Monitor | Domain Directory |
| Sort by |
| (Google PR) (Alphabetical) |
| Papert,_Seymour@ (8) | Pausch,_Randy@ (18) |
University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. |
University of Cambridge - Interactive theorem proving and its applications. |
University of Pennsylvania. Programming languages, type systems, and distributed programming. |
University of Texas at Austin - Software engineering, system evolution, large-scale systems. |
University of Udine - Software engineering, metrics, and reuse. |
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems |
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems |
University of Salzburg - Application of mathematics to computer science, multi-agent systems, artificial neural networks, fuzzy reasoning, genetic algorithms, automated deduction in geometry, and semantical modelling |
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. |
Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. |
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Domain Tools analysis of DMOZ top listed domains