Computer_Science-People-A
- Abramsky, Samson- University of Edinburgh - Semantics of programming languages, concurrency, game semantics, program analysis.
- Abadi, Mart&xED;n- DEC SRC - Computer and network security, specification and verification methods, programming languages.
- 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.
- A&xEF;t-Kaci, Hassan- Simon Fraser University - Constraint-based programming, object-orientation, logical and functional programming, and the design of compilation techniques.
- 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 behavior.
- Agrawal, Dharma P.- Mobile networks, adhoc networks, distributed systems, automatic parallelism detection and scheduling, systems reliability. University of Cincinnati.
- Alpuente, Mar&xED;a- Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation.
- Altenkirch, Thorsten- Type theory, categorical logic, and program verification.