Add your Web Site - People - P Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 
 
 Show pages from IntraNet   Show all pages
 DIRECTORY/Science/Tech/Computer Science/People/P (11)
i0Pandya, Paritosh K. - http://www.tcs.tifr.res.in/~pandya/ - Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
 
i0Paulson, Lawrence C. - http://www.cl.cam.ac.uk/~lp15/ - University of Cambridge - Interactive theorem proving and its applications.
 
i0Perry, Dewayne - http://users.ece.utexas.edu/~perry/ - University of Texas at Austin - Software engineering, system evolution, large-scale systems.
 
i0Pfalzgraf, Jochen - http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html - 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
 
i0Phatak, 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
 
i0Philip, Thomas - http://www.cs.msstate.edu/~philip - Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
 
i0Pierce, Benjamin C. - http://www.cis.upenn.edu/~bcpierce/ - University of Pennsylvania. Programming languages, type systems, and distributed programming.
 
i0Pighin, Maurizio - http://users.uniud.it/pighin/ - University of Udine - Software engineering, metrics, and reuse.
 
i0Pitts, 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.
 
i0Pohlmann, Werner - http://www.cosy.sbg.ac.at/~pohlmann/pohlmann.html - 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.
 
i0Prasad, Sanjiva - http://www.cse.iitd.ernet.in/~sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
 
 E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form