Undergraduate visiting day

Prospective undergraduates are welcomed to the School of Computer Science for an undergraduate visiting day.

Undergraduate visiting day

Prospective undergraduates are welcomed to the School of Computer Science for an undergraduate visiting day.

Undergraduate visiting day

Prospective undergraduates are welcomed to the School of Computer Science for an undergraduate visiting day.

Computer Science Great Scottish Swim

On August 29th the School will be participating in the Great Scottish Swim, the team comprising Percy Perez, David Symons, Julie Dunsire, Alex Voss and Ruth Letham are swimming for Médecins Sans Frontières, an independent humanitarian charity that is committed to providing medical aid where it is most needed. The team have been training hard Computer Science Great Scottish Swim

Toward Workflow Management for Experimental Science?

The School of Computer Science welcomes the opportunity to hear from Dr Babak Esfandiari from Carleton University, Canada who will be delivering his talk on ‘Toward Workflow Management for Experimental Science?’. Abstract: Data, code, and other digital scientific artifacts are often found (at least by this presenter) to be out-of-synch, unreliable, poorly organized and only Toward Workflow Management for Experimental Science?

PhD Viva Success: Ward Jaradat

Congratulations to Dr Ward Jaradat, who successfully defended his PhD thesis last week. He was supervised by Dr Adam Barker. Prof. Omer Rana from Cardiff University and Dr Stuart Purdie acted as External and Internal Examiner respectively.

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, SICSA Summer School on Practical Types

Seminar ‘TODAY’: Brand Objects and Gradual Contracts by Timothy Jones

The School of Computer Science welcomes Timothy Jones, a PhD student from Victoria University of Wellington,New Zealand. Abstract: Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, Seminar ‘TODAY’: Brand Objects and Gradual Contracts by Timothy Jones