Peiris, Ramanee
Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.

Palsberg, Jens
Object-oriented languages, type systems, compilers, software generators, software evolution.

Policriti, Alberto
University of Udine - Computable set theory, logic in computer science, automated theorem proving.

Philip, Thomas
Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.

Pighin, Maurizio
University of Udine - Software engineering, metrics, and reuse.

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

Petkov, Nikolay
University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.

Paulson, Lawrence C.
University of Cambridge - Interactive theorem proving and its applications.

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.

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.

Pierce, Benjamin C.
University of Pennsylvania. Programming languages, type systems, and distributed programming.

Prasad, Sanjiva
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

Pandya, Paritosh K.
Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.

Poial, Jaanus
University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches

Perry, Dewayne
University of Texas at Austin - Software engineering, system evolution, large-scale systems.

Peng Wu
Chinese Academy of Sciences - Theoretical computer science.

Palavalli, Naveen Anil
University of Southern California, Los Angeles - Computer Networks.

Phatak, Deepak
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems