Wectar - Computers - Computer Science - People - P

Subcategories
Papert, Seymour@	Pausch, Randy@

	Paulson, Lawrence C. URL: http://www.cl.cam.ac.uk/~lp15/ ODP description: University of Cambridge - Interactive theorem proving and its applications. Page title: Larry Paulson
	Pierce, Benjamin C. URL: http://www.cis.upenn.edu/~bcpierce/ ODP description: University of Pennsylvania. Programming languages, type systems, and distributed programming. Page title: Benjamin C. Pierce
	Pighin, Maurizio URL: http://users.uniud.it/pighin/ ODP description: University of Udine - Software engineering, metrics, and reuse. Page title: Maurizio Pighin - UniversitÃ degli Studi di Udine Professore Associato â Sistemi per lâElaborazione dellâInformazione â FacoltÃ di Economia Associate Professor â Information Systems â Faculty of Economics Delegato Rettorale per i rapporti CRUI sui Sis
	Pfalzgraf, Jochen URL: http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html ODP description: 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 Page title: Home Page Jochen Pfalzgraf
	Pitts, Andrew URL: http://www.cl.cam.ac.uk/~amp12/ ODP description: University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. Page title: Computer Laboratory - Andrew Pitts
	Prasad, Sanjiva URL: http://www.cse.iitd.ernet.in/~sanjiva ODP description: Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems Page title: Sanjiva Prasad's Home Page
	Perry, Dewayne URL: http://users.ece.utexas.edu/~perry/ ODP description: University of Texas at Austin - Software engineering, system evolution, large-scale systems. Page title: Dewayne E. Perry --- Home Page
	Pohlmann, Werner URL: http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html ODP description: 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. Page title: Home Page of Werner Pohlmann
	Pandya, Paritosh K. URL: http://www.tcs.tifr.res.in/~pandya/ ODP description: Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. Page title: Paritosh K. Pandya : Home Page Page description: Personal web page of Paritosh K. Pandya. He is a computer scientist working on logic, semantics, formal verification. Interested in Hindustani Classical Music.
	Phatak, Deepak URL: http://www.it.iitb.ac.in/~dbp/ ODP description: Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems Page title: Deepak B. Pathak
	Philip, Thomas URL: http://www.cs.msstate.edu/~philip ODP description: Mississippi State University - Software engineering, software design, software testing, application of intelligent systems. Page title: Thomas Philip's Computer Science Home Page