People Computer Science Computers


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








    Top: Computers: Computer Science: People

P


  • Paulson, Lawrence C. - University of Cambridge - Interactive theorem proving and computer science its computer science applications.
  • Prasad, Sanjiva - Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems
  • Pitts, Andrew - University of Cambridge - Applications of mathematical logic computer science and category theory to computer science, semantics of computer science programming languages and type theories, formal logics for computer science reasoning about program properties.
  • Pierce, Benjamin C. - University of Pennsylvania. Programming languages, type systems, people and distributed programming.
  • Pandya, Paritosh K. - Tata Institute of Fundamental Research, Mumbai - Logic, people Concurrency, Programming people Languages, Formal Methods and Software Engineering.
  • Phatak, Deepak - Indian Institute of Technology, Bombay - Database systems, p Software Engineering, people System Performance Evaluation, Distributed Client Server p Information Systems
  • Perry, Dewayne - University of Texas at Austin - Software engineering, system evolution, p large-scale systems.
  • Pfalzgraf, Jochen - University of Salzburg - Application of mathematics to computer science computer science, multi-agent systems, artificial neural networks, fuzzy computer science reasoning, genetic algorithms, automated deduction in geometry, and computer science semantical modelling
  • Pohlmann, Werner - University of Salzburg - Programming, software engineering, programming computer science languages, p performance and reliability of communication and computer computer science systems, parallel p and distributed algorithms, and distributed discrete computer science event simulation.
  • Pighin, Maurizio - University of Udine - Software engineering, metrics, and reuse.


   MySQL - Cache Direct


  
Twitter