Papert, Seymour 12
Pausch, Randy 18
| |
 Pandya, Paritosh K.Pandya, Paritosh K.
 Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
|
Paulson, Lawrence C.Paulson, Lawrence C.
 University of Cambridge - Interactive theorem proving and its applications.
|
Perry, DewaynePerry, Dewayne
 University of Texas at Austin - Software engineering, system evolution, large-scale systems.
|
Pfalzgraf, JochenPfalzgraf, 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
|
Phatak, DeepakPhatak, Deepak
 Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
|
Pierce, Benjamin C.Pierce, Benjamin C.
 University of Pennsylvania. Programming languages, type systems, and distributed programming.
|
Pighin, MaurizioPighin, Maurizio
 University of Udine - Software engineering, metrics, and reuse.
|
Pitts, AndrewPitts, 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, WernerPohlmann, 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, SanjivaPrasad, Sanjiva
 Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
|
|
