Canadian Content hasn't compiled information about yet!
This page was last updated on August 27th, 2008
This page was last updated on August 27th, 2008
A (from People)
Canadian Content » Computers » Computer_Science » People » A »
Auguston, Mikhail
New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.
Augusto, Juan Carlos
University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.
Agha, Gul
University of Illinois, 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 behavi
Abreu, Luis
Escola Secundária de Jaime Moniz - Biography and links.
Augustsson, Lennart
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
Arcia, Andres
University of Los Andes, Merida-Venezuela - Distributed systems and mobile object location.
van der Aalst, Wil
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational bus
Acharya, Anurag
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
Arun-Kumar, S.
Indian Institute of Technology, Delhi - Semantics and Verification
Ajmani, Sameer
MIT - Distributed systems, software engineering and security.
Almeroth, Kevin
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
Agrawal, Divyakant
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
Altenkirch, Thorsten
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Aiken, Alex
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
Alpuente, MarÃa
Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
Ariola, Zena M.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
Agrawal, Dharma P.
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
Arvind, V.
Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
Abramsky, Samson
University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.
Amarasinghe, Saman
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
New Mexico State University - Programming languages design and implementation, the design of the compiler writing language RIGAL, software engineering, testing and debugging automation, assertion languages, visual programming languages.
University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.
University of Illinois, 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 behavi
Escola Secundária de Jaime Moniz - Biography and links.
Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell.
University of Los Andes, Merida-Venezuela - Distributed systems and mobile object location.
Eindhoven University of Technology - Information systems, simulation, Petri nets, process models, workflow management systems, verification techniques, enterprise resource planning systems, computer supported cooperative work, and interorganisational bus
University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.
Indian Institute of Technology, Delhi - Semantics and Verification
MIT - Distributed systems, software engineering and security.
University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems.
University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management.
Ludwig-Maximillians University - Type theory, categorical logic, and program verification.
Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization.
Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
University of Cincinnati - Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability.
Institute of Mathematical Sciences, Chennai - Structural Aspects of Complexity Theory, Program Checking and Interactive Proof Systems, Complexity of Learning, and Randomized Computation.
University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.
MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.
People >> A yielded other results on Canadian Content:
|
We didn't find anything related to: The words you chose to seach for are too common and therefore irrelevant. Please choose a more appropriate search term. |
|
 |
-
