|
|
1. |
Palsberg, Jens
-
Object-oriented languages, type systems, compilers, software generators, software evolution.
|
|
|
2. |
Pandya, Paritosh K.
-
Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
|
|
|
3. |
Paulson, Lawrence C.
-
University of Cambridge - Interactive theorem proving and its applications.
|
|
|
4. |
Peiris, Ramanee
-
Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.
|
|
|
5. |
Peng Wu
-
Chinese Academy of Sciences - Theoretical computer science.
|
|
|
6. |
Perry, Dewayne
-
University of Texas at Austin - Software engineering, system evolution, large-scale systems.
|
|
|
7. |
Petkov, Nikolay
-
University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.
|
|
|
8. |
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
|
|
|
9. |
Phatak, Deepak
-
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
|
|
|
10. |
Philip, Thomas
-
Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
|
|
|
11. |
Pierce, Benjamin C.
-
University of Pennsylvania. Programming languages, type systems, and distributed programming.
|
|
|
12. |
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.
|
|
|
13. |
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.
|
|
|
14. |
Policriti, Alberto
-
University of Udine - Computable set theory, logic in computer science, automated theorem proving.
|
|
|
15. |
Prasad, Sanjiva
-
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
|
|
|
16. |
Palavalli, Naveen Anil
-
University of Southern California, Los Angeles - Computer Networks.
|
|
|
17. |
Pighin, Maurizio
-
University of Udine - Software engineering, metrics, and reuse.
|
|
|
18. |
Poial, Jaanus
-
University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches
|
|
|
