Enter search terms Delivering Great Search Results© BETA

Topic: Computers / Computer Science / People / P

Subtopics of "P"

Papert, Seymour

Web pages on "P":

Palavalli, Naveen Anil
University of Southern California, Los Angeles - Computer Networks.
http://www.geocities.com/naveenpa

Palsberg, Jens
Object-oriented languages, type systems, compilers, software generators, software evolution.
http://www.cs.purdue.edu/people/palsberg/

Pandya, Paritosh K.
Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
http://www.tcs.tifr.res.in/~pandya/

Paulson, Lawrence C.
University of Cambridge - Interactive theorem proving and its applications.
http://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.
http://www.computing.dundee.ac.uk/staff/rpeiris/

Peng Wu
Chinese Academy of Sciences - Theoretical computer science.
http://lcs.ios.ac.cn/~wp

Perry, Dewayne
University of Texas at Austin - Software engineering, system evolution, large-scale systems.
http://www.ece.utexas.edu/~perry/

Petkov, Nikolay
University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms.
http://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
http://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
http://www.it.iitb.ac.in/~dbp/

Philip, Thomas
Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
http://www.cs.msstate.edu/~philip

Pierce, Benjamin C.
University of Pennsylvania. Programming languages, type systems, and distributed programming.
http://www.cis.upenn.edu/~bcpierce/

Pighin, Maurizio
University of Udine - Software engineering, metrics, and reuse.
http://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.
http://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.
http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html

Poial, Jaanus
University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches
http://www.cs.ut.ee/~jaanus/

Policriti, Alberto
University of Udine - Computable set theory, logic in computer science, automated theorem proving.
http://www.dimi.uniud.it/~policrit/

Prasad, Sanjiva
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
http://www.cse.iitd.ernet.in/~sanjiva

©2004 ChaBook