Destpêk > Computers > Computer_Science > People > P >
Open Directory - Computers: Computer Science: People: P
[ A
| B
| C
| D
| E
| F
| G
| H
| I
| J
| K
| L
| M
| N
| O
| P
| Q
| R
| S
| T
| U
| V
| W
| X
| Y
| Z
]
- Pandya, Paritosh K. - Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering.
- Paulson, Lawrence C. - University of Cambridge - Interactive theorem proving and its applications.
- Perry, Dewayne - University of Texas at Austin - Software engineering, system evolution, large-scale systems.
- Pfalzgraf, Jochen - 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
- Phatak, Deepak - Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
- Philip, Thomas - Mississippi State University - Software engineering, software design, software testing, application of intelligent systems.
- Pierce, Benjamin C. - University of Pennsylvania. Programming languages, type systems, and distributed programming.
- Pighin, Maurizio - University of Udine - Software engineering, metrics, and reuse.
- 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.
- Pohlmann, Werner - 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.
- Prasad, Sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
|
|
- Deftera Mevanan
Welat
