Sutton Trust Summer School @ Computer Science

The School of Computer Science runs daily sessions as part of the Sutton Trust summer school. The sessions are aimed at giving school pupils an insight into what it would be like to study computer science at university.

During the sessions, pupils take part in practical programming exercises and attend lectures similar to those they would receive studying with us.

SICSA Summer School on Practical Types

The SICSA Summer School on Practical Types will give participants an overview of how types can be used in practice. Types have provided numerous benefits in programming language research, including language design and compiler construction, over the years and this trend looks set to continue into the future. But types have also found much wider practical application, e.g. in areas such as programme verification, termination checking, security, concurrency, software testing, resource analysis, systems biology, semi-structured data formats, databases, linguistics etc.

The school will consist of a series of 2-3 hour lectures covering introductory topics (e.g. type checking, domain specific languages, dependently typed programming), and more advanced topics such as those mentioned above. Thus we aim to cover how can types be used to classify and enhance our knowledge within specific domains of human activity, and how we can use modern functional programming languages to implement programs which take advantage of that type structure.

There will also be time in the program for participants, especially students, to present short talks about their own experience and works in progress.

Full details

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university.

During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain experience writing and developing code.

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university.

During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain experience writing and developing code.