Pierce, Benjamin C. - University of Pennsylvania. Programming languages, type systems, and distributed programming. Prasad, Sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems Pandya, Paritosh K. - Tata Institute of Fundamental Research, Mumbai - Logic, Concurrency, Programming Languages, Formal Methods and Software Engineering. Phatak, Deepak - Indian Institute of Technology, Bombay - Database systems, Software Engineering, System Performance Evaluation, Distributed Client Server Information Systems Perry, Dewayne - University of Texas at Austin - Software engineering, system evolution, large-scale systems. Paulson, Lawrence C. - University of Cambridge - Interactive theorem proving and its applications. 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.