P

P

• Papert, Seymour@

P Links

• Petkov, Nikolay University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.
  
• Pighin, Maurizio University of Udine - Software engineering, metrics, and reuse.
  
• 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.
  
• Peiris, Ramanee Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.
  
• 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.
  
• 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.
  
• Pulman, Stephen G University of Cambridge - Natural language processing, automated reasoning, logic for knowledge representation.
  
• Perry, Lynellen Mississippi State University - Artificial intelligence, natural language processing, artificial neural networks.
  
• Phatak, Deepak Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
  
• Poial, Jaanus University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches
  
• 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.
  
• 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
  
• 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.
  
• Prasad, Sanjiva Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems