In Partnership with AOL
[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]
  • 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.
    [!]
  • 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.
    [!]
  • Prasad, Sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: October 30, 2011 at 11:45:05 UTC - edit