| LTN |
A: Computer Science People A:  Artemov, Sergei N. - AComputers: Artemov, People A City University of New York - Distinguished Professor of Computer Science Sergei N. A Mathematics, and Philosophy. Altenkirch, Thorsten - AComputers: Altenkirch, People A Ludwig-Maximillians University - Type theory Thorsten A categorical logic, and program verification. Arcia, AndresComputers: Arcia, People A University of Los Andes Andres Merida-Venezuela - Distributed systems and mobile object location. Abreu, LuisComputers: Abreu, People A Escola Secundária de Jaime Moniz - Biography and links Luis . van der Aalst, Wil - AComputers: van der, People A Eindhoven University of Technology - Information systems Aalst, Wil A simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational business processes. Ariola, Zena M.Computers: Ariola, People A University of Oregon - Programming languages Zena M. formal semantics, term rewriting systems, lambda calculus, compilers. Almeroth, Kevin - AComputers: Almeroth, People A University of California Kevin A Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. Alpuente, MaríaComputers: Alpuente, People A Technical University of Valencia María Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. Aiken, AlexComputers: Aiken, People A Berkeley - Type systems Alex static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization. Arun-Kumar, S. - AComputers: Arun-Kumar, People A Indian Institute of Technology S. A Delhi - Semantics and Verification. Ajmani, SameerComputers: Ajmani, People A MIT - Distributed systems Sameer software engineering and security. Agrawal, Divyakant - AComputers: Agrawal, People A University of California Divyakant A Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. Agrawal, Dharma P.Computers: Agrawal, People A University of Cincinnati - Mobile networks Dharma P. adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. Augustsson, Lennart - AComputers: Augustsson, People A Chalmers University of Technology - Functional programming and implementation of functional programming languages Lennart A Haskell. Agha, GulComputers: Agha, People A University of Illinois Gul Urbana-Champaign - Developing new abstractions for building open distributed systems and reasoning about their behavior. such systems generally have requirements such as parallelism, coordination, availability, and real-time behavior. A Day in the Life of...Computer Science People - Archive of short biographies of how people in computer science/management information science spend their days in the Life of.. Hosted by Crossroads, the student magazine of the Association for Computing Machinery. HomePageSearch - AComputer Science People - Searchtool for Personal Home Pages of Computer Scientists A Provides more than 75000 Links to Personal Home Pages of Computer Scientists. CS Faculty LinksComputer Science People - List of Schools with Computer Science Departments Links linked directly to their faculty lists. | |||||||