Summary of Experience

Management

Languages

Operating Systems

Applications

Formal Methods

Internet