| | - Deepak Phatak
His research interests are in the areas of Data Bases and Information Systems, Software Engineering, System Performance Evaluation, IT enabled Education and IT strategy planning. His primary research inclinations are in Technology application and dep ...
http://www.it.iitb.ac.in/~dbp/
|
| |
- Werner Pohlmann
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
|
| |
|
- Maurizio Pighin
University of Udine Software engineering, metrics, and reuse. Department of Mathematics and Computer Science ...
http://users.uniud.it/pighin/
| | |
| |
- Andrew Pitts
I am interested in all aspects of programming language semantics, be they operational or denotational or somewhere between the two. My research makes use of techniques from mathematical logic, type theory and category theory to advance the foundation ...
http://www.cl.cam.ac.uk/~amp12/
|
| |
- Dewayne Perry
Dewayne Perry University of Texas at Austin Software engineering, system evolution, largescale systems. ...
http://users.ece.utexas.edu/~perry/
| | - Lawrence C Paulson
The Isabelle system is a popular generic theorem prover, developed in collaboration with Tobias Nipkow and his colleagues at the Technical University of Munich. I am now the Distinguished Affiliated Professor for Logic in Informatics at T. U. Munich; ...
http://www.cl.cam.ac.uk/~lp15/
|
| |
- Benjamin C Pierce
Benjamin C Pierce University of Pennsylvania. Programming languages, type systems, and distributed programming. ...
http://www.cis.upenn.edu/~bcpierce/
| | - Paritosh K Pandya
Tata Institute of Fundamental Research, Mumbai Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. ...
http://www.tcs.tifr.res.in/~pandya/
|
| |
- Sanjiva Prasad
I am interested in the design and implementation of programming languages for mobile distributed computing. This includes an interest in process calculi for mobility, security protocols, type systems and functional programming. I also am interested i ...
http://www.cse.iitd.ernet.in/~sanjiva
| | - Jochen Pfalzgraf
Application of mathematics to computer science, multiagent systems, artificial neural networks, fuzzy reasoning, genetic algorithms, automated deduction in geometry, and semantical modelling ...
http://www.cosy.sbg.ac.at/~jpfalz/jpfalz.html
|
| |
