|
|
|
|
Home / Computers / Computer Science / People / P
|
| Categories |
|
|
|
|
|
|
|
|
Web Sites
|
- Palsberg, Jens - Object-oriented languages, type systems, compilers, software generators, software evolution.
www.cs.purdue.edu/people/palsberg
- Pandya, Paritosh K. - Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
www.tcs.tifr.res.in/~pandya
- Paulson, Lawrence C. - University of Cambridge - Interactive theorem proving and its applications.
www.cl.cam.ac.uk/users/lcp
- Peiris, Ramanee - Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK.
www.computing.dundee.ac.uk/staff/rpeiris
- Perry, Dewayne - University of Texas at Austin - Software engineering, system evolution, large-scale systems.
www.ece.utexas.edu/~perry
- Perry, Lynellen - Artificial intelligence, natural language processing, artificial neural networks.
www.lynellen.com
- Petkov, Nikolay - University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.
www.cs.rug.nl/~petkov/petkov.html
- 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
www.cosy.sbg.ac.at/~jpfalz/jpfalz.html
- Phatak, Deepak - Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
www.it.iitb.ernet.in/~dbp
- Philip, Thomas - Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
www.cs.msstate.edu/~philip
- Pierce, Benjamin C. - University of Pennsylvania. Programming languages, type systems, and distributed programming.
www.cis.upenn.edu/~bcpierce
- Pighin, Maurizio - University of Udine - Software engineering, metrics, and reuse.
www.dimi.uniud.it/~pighin
- 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.
www.cl.cam.ac.uk/users/amp12
- 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.
www.cosy.sbg.ac.at/~pohlmann/pohlmann.html
- Poial, Jaanus - University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches
www.cs.ut.ee/~jaanus
- Policriti, Alberto - University of Udine - Computable set theory, logic in computer science, automated theorem proving.
www.dimi.uniud.it/~policrit
- Prasad, Sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
www.cse.iitd.ernet.in/~sanjiva
- Pulman, Stephen G - University of Cambridge - Natural language processing, automated reasoning, logic for knowledge representation.
www.cl.cam.ac.uk/users/sgp
|
|
|
|
|