Old Fellows Database

Add URL Add URL  Custom Programming  My Sites My Sites  Custom Programming  My Account My Account  Custom Programming  Contact Us Contact Us


Yurtseven.org       

Search only in P   Search the Web
 Home » Computer Science » People » P

 Categories

Papert, Seymour (6)  




 Web Pages    1 - 10   {18}


 1 - Pierce, Benjamin C.
  University of Pennsylvania. Programming languages, type systems, and distributed programming.
http://www.cis.upenn.edu/~bcpierce/
 
[more pages from this URL]   


 2 - 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/
 
[more pages from this URL]   


 3 - Paulson, Lawrence C.
  University of Cambridge - Interactive theorem proving and its applications.
http://www.cl.cam.ac.uk/users/lcp/
 
[more pages from this URL]   


 4 - Perry, Dewayne
  University of Texas at Austin - Software engineering, system evolution, large-scale systems.
http://www.ece.utexas.edu/~perry/
 
[more pages from this URL]   


 5 - 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/
 
[more pages from this URL]   


 6 - 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/
 
[more pages from this URL]   


 7 - Policriti, Alberto
  University of Udine - Computable set theory, logic in computer science, automated theorem proving.
http://www.dimi.uniud.it/~policrit/
 
[more pages from this URL]   


 8 - Prasad, Sanjiva
  Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
http://www.cse.iitd.ernet.in/~sanjiva
 
[more pages from this URL]   


 9 - Peng Wu
  Chinese Academy of Sciences - Theoretical computer science.
http://lcs.ios.ac.cn/~wp
 
[more pages from this URL]   


 10 - Pighin, Maurizio
  University of Udine - Software engineering, metrics, and reuse.
http://users.uniud.it/pighin/
 
[more pages from this URL]   


1  2  Next »»


E-Mail Add URL