A B C D E F G H I J K L M N O PQ R S T U V W X Y Z

Subcategories 2

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.
Phatak, Deepak
Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems
Pierce, Benjamin C.
University of Pennsylvania. Programming languages, type systems, and distributed programming.
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.
Prasad, Sanjiva
Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
[Computer Mozilla]
Last update:
April 8, 2015 at 12:45:10 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business