Sites:
| Palavalli, Naveen Anil: University of Southern California, Los Angeles - Computer Networks. | | Palsberg, Jens: Object-oriented languages, type systems, compilers, software generators, software evolution. | | 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. | | Peiris, Ramanee: Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK. | | Peng Wu: Chinese Academy of Sciences - Theoretical computer science. | | Perry, Dewayne: University of Texas at Austin - Software engineering, system evolution, large-scale systems. | | Petkov, Nikolay: University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms. | | 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 | | Phatak, Deepak: Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems | | 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. | | Poial, Jaanus: University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches | | Policriti, Alberto: University of Udine - Computable set theory, logic in computer science, automated theorem proving. | | Prasad, Sanjiva: Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems |
|
Classical
