Directory of Resources

Home > Computers > Computer Science > People > P

Subcategories

• Papert, Seymour
• Pausch, Randy

Resources in This Category

• Pandya, Paritosh K.

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

• Paulson, Lawrence C.

  http://www.cl.cam.ac.uk/~lp15/
  University of Cambridge - Interactive theorem proving and its applications.

• Perry, Dewayne

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

• Phatak, Deepak

  http://www.it.iitb.ac.in/~dbp/
  Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems

• Pierce, Benjamin C.

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

• Pitts, Andrew

  http://www.cl.cam.ac.uk/~amp12/
  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.

• Prasad, Sanjiva

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

 

Home > Computers > Computer Science > People > P

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us