Lecturer in Department of Applied Computing, University
of Dundee, Scotland, UK.
www.cl.cam.ac.uk/users/amp12/
Policriti, Alberto
deepak systolic
www.cse.iitd.ernet.in/~sanjiva
pandya proving
Object-oriented languages, type systems, compilers, software generators, software evolution.
Perry, Dewayne
www.cosy.sbg.ac.at/~jpfalz/jpfalz.html
tata anil
tata deduction
systolic computable
Paulson, Lawrence C.
Petkov, Nikolay
Indian Institute of Technology
, Delhi - Programming Languages, Concurrent Systems
concurrency pitts
Palavalli, Naveen Anil
www.tcs.tifr.res.in/~pandya
/
Prasad, Sanjiva
dewayne semantical
www.ece.utexas.edu/~perry/
Pighin, Maurizio
tata pandya
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
Pierce, Benjamin C.
anil concurrency
Chinese Academy of Sciences
- Theoretical computer science.
users.uniud.it/pighin/
www.cosy.sbg.ac.at/~pohlmann/pohlmann.html
www.cs
.ut.ee/~jaanus/
petkova semantical
www.geocities.com/naveenpa/
www.cs.rug.nl/~petkov/petkov.html
tata jaanus
Pohlmann, Werner
systolic proving
Interests:
Engagement with computers, Women in Science, Engineering, and Technology.
concurrency computable
lcs.ios.ac.cn/~wp
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.
www
.dimi.uniud.it/~policrit/
tata paritosh
proving dewayne
Pfalzgraf, Jochen
deduction logics
Phatak, Deepak
www.cs.msstate.edu/~philip
Mississippi State University
- Software engineering, software design, software testing, application of intelligent systems.University
of Udine - Software engineering, metrics, and reuse.
peng deepak
University of Southern California, Los Angeles
- Computer Networks.
www.computing.dundee.ac.uk/staff/rpeiris/
Peng Wu
tata dewayne
Palsberg, Jens
Pandya, Paritosh K
.
University of Cambridge - Interactive theorem proving and its applications.
www.it.iitb.ac.in/~dbp/
Indian
Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation
, Distributed Client Server Information Systems
www.cis.upenn.edu/~bcpierce/
University of Pennsylvania
.University of Tartu - Programming languages, compilers, Formal methods, algebraic approaches
prasad proving
www.cs.purdue
.edu/people/palsberg/
Peiris, Ramanee
Pitts, Andrew
concurrency pitts
pohlmann nikolay
Tata Institute of Fundamental Research, Mumbai - Logic
, Concurrency, Programming Languages, Formal Methods and Software Engineering.University of Texas at
Austin - Software engineering, system evolution, large-scale systems.University of Groningen - computational
neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing
, and systolic algorithms.
Philip, Thomas
Programming languages, type systems, and distributed programming
.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.
papert prasad
Poial, Jaanus
University of Udine - Computable set theory, logic in computer science
, automated theorem proving.
paulson naveen
papert tata
www.cl.cam.ac.uk/users/lcp/
prasad naveen
