Open Directory - Computers: Computer Science: People: A
- Escola Secundária de Jaime Moniz - Biography and links. - University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. - Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visualization. - MIT - Distributed systems, software engineering and security. - University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. - Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulation. - Ludwig-Maximillians University - Type theory, categorical logic, and program verification. - 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 - Indian Institute of Technology, Delhi - Semantics and Verification - 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.