Ph.D. and M.Sc. School in Computer Science - Types at Work

In this two week summer course advanced Masters students and beginning Ph.D. students get a quick introduction to types for programming language and techniques that can be used to infer them.

The course continues with a number of interesting applications of types in the area of memory management, communication and security. The course finishes with a small project where the students develop their own type system for a given task.

The first day: DTU Informatics building 322, room 033, @ 0900 AM

Contents

Types and type inference techniques

Types for physical dimensions

Types for security

Types for memory management

Types for communication

Responsible

The course will be given by:

The course is organized by DTU Informatics (IMM) and the Department of Computer Science (DIKU) at the University of Copenhagen (KU) in collaboration with the ITMAN graduate school, the FIRST graduate school and MT-LAB, a VKR Centre of Excellence.