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 ...

MIT - Compiler optimizations, computer architectures, software engineering and parallel computing.

University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers.

University of California, Santa Barbara - Operating systems, architecture, compilers, networking, performance evaluation, active disks, flexible network services, deep memory hierarchies.

Escola Secundária de Jaime Moniz - Biography and links.