5 links
Palavalli, Naveen Anil
geocities.com
University of Southern California, Los Angeles - Computer Networks.
Paulson, Lawrence C.
cl.cam.ac.uk
University of Cambridge - Interactive theorem proving and its applications.
Pierce, Benjamin C.
cis.upenn.edu
University of Pennsylvania. Programming languages, type systems, and distributed programming.
Pitts, Andrew
cl.cam.ac.uk
University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reason…
Prasad, Sanjiva
cse.iitd.ernet.in
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems