[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]
 | - Pandya, Paritosh K. - - Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
|
 | - Paulson, Lawrence C. - - University of Cambridge - Interactive theorem proving and its applications.
|
 | - Perry, Dewayne - - University of Texas at Austin - Software engineering, system evolution, large-scale systems.
|
 | - 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 modellin.
|
 | - Phatak, Deepak - - Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information System.
|
 | - Philip, Thomas - - Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
|
 | - Pierce, Benjamin C. - - University of Pennsylvania. Programming languages, type systems, and distributed programming.
|
 | - Pighin, Maurizio - - University of Udine - Software engineering, metrics, and reuse.
|
 | - 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.
|
 | - 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.
|
 | - Prasad, Sanjiva - - Indian Institute of Technology, Delhi - Programming Languages, Concurrent System.
|
|
|
|
World Directory Search Engine
