Guest! Login/Join
Google
 

Directory > Computers > Computer_Science > People > P
Sort by
(Google PR) (Alphabetical)

Papert,_Seymour@ (8)Pausch,_Randy@ (18)


1,132 Listings - DR (10/10)1,132 Listings - DR (10/10) Pitts, Andrew - http://www.cl.cam.ac.uk/~amp12/
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.
1,132 Listings - DR (10/10)1,132 Listings - DR (10/10) Paulson, Lawrence C. - http://www.cl.cam.ac.uk/~lp15/
University of Cambridge - Interactive theorem proving and its applications.
961 Listings - DR (3/10)961 Listings - DR (3/10) Pierce, Benjamin C. - http://www.cis.upenn.edu/~bcpierce/
University of Pennsylvania. Programming languages, type systems, and distributed programming.
2,871 Listings - DR (2/10)2,871 Listings - DR (2/10) Perry, Dewayne - http://users.ece.utexas.edu/~perry/
University of Texas at Austin - Software engineering, system evolution, large-scale systems.
110 Listings - DR (0/10)110 Listings - DR (0/10) Pighin, Maurizio - http://users.uniud.it/pighin/
University of Udine - Software engineering, metrics, and reuse.
On Target - DR (0/10)On Target - DR (0/10) Phatak, Deepak - http://www.it.iitb.ac.in/~dbp/
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
On Target - DR (0/10)On Target - DR (0/10) Prasad, Sanjiva - http://www.cse.iitd.ernet.in/~sanjiva
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
100 Listings - DR (0/10)100 Listings - DR (0/10) Pfalzgraf, Jochen - http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html
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
100 Listings - DR (0/10)100 Listings - DR (0/10) Pohlmann, Werner - http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html
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.
On Target - DR (0/10)On Target - DR (0/10) Pandya, Paritosh K. - http://www.tcs.tifr.res.in/~pandya/
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