Web Directory

» Pandya, Paritosh K.
   Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
   http://www.tcs.tifr.res.in/~pandya/

» Paulson, Lawrence C.
   University of Cambridge - Interactive theorem proving and its applications.
   http://www.cl.cam.ac.uk/~lp15/

» Perry, Dewayne
   University of Texas at Austin - Software engineering, system evolution, large-scale systems.
   http://users.ece.utexas.edu/~perry/

» Pfalzgraf, Jochen
   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
   http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html

» Phatak, Deepak
   Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
   http://www.it.iitb.ac.in/~dbp/

» Pierce, Benjamin C.
   University of Pennsylvania. Programming languages, type systems, and distributed programming.
   http://www.cis.upenn.edu/~bcpierce/

» Pighin, Maurizio
   University of Udine - Software engineering, metrics, and reuse.
   http://users.uniud.it/pighin/

» Pitts, Andrew
   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.
   http://www.cl.cam.ac.uk/~amp12/

» Pohlmann, Werner
   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.
   http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html

» Prasad, Sanjiva
   Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
   http://www.cse.iitd.ernet.in/~sanjiva