Computer systems analysts study an organization's current computer systems and procedures and make recommendations to management to help the organization operate more efficiently and effectively.

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...