MetaXearch > / Computer Science / People / P /
Peiris, Ramanee
Interests: Engagement with computers, Women in Science, Engineering, and Technology. Lecturer in Department of Applied Computing, University of Dundee, Scotland, UK. (infos)Palsberg, Jens
Object-oriented languages, type systems, compilers, software generators, software evolution. (infos)
Policriti, Alberto
University of Udine - Computable set theory, logic in computer science, automated theorem proving. (infos)
Philip, Thomas
Mississippi State University - Software engineering, software design, software testing, application of intelligent systems. (infos)
Pfalzgraf, Jochen
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 (infos)
Petkov, Nikolay
University of Groningen - computational neuroscience, image processing, pattern recognition, computer vision, parallel and high pefomance computing, and systolic algorithms. (infos)
Paulson, Lawrence C.
University of Cambridge - Interactive theorem proving and its applications. (infos)
Pohlmann, Werner
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. (infos)
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. (infos)
Pierce, Benjamin C.
University of Pennsylvania. Programming languages, type systems, and distributed programming. (infos)