Secondary School pupils from across the country are given a taste of what computer science involves by taking part in a practical programming activity. This sessions is part of First Chances at St Andrews.
Congratulations to Daniel Rough, who successfully defended his thesis today. He is pictured with supervisor Professor Aaron Quigley, Internal examiner Dr Uta Hinrichs and external examiner Professor Alessio Malizia, from the University of Hertfordshire.
Images courtesy of Annemarie Paton
Congratulations to Chris Schwaab, who successfully defended his thesis yesterday. He is pictured with supervisor Dr Edwin Brady, Internal examiner Dr Juliana Bowles and external examiner Dr Bob Atkey, from the University of Strathclyde.
Images courtesy of Annemarie Paton and Edwin Brady
Congratulations to Franck Slama, who successfully defended his thesis yesterday. He is pictured with supervisor Dr Edwin Brady, Internal examiner Dr Susmit Sarkar and external examiner Professor Thorsten Altenkirch, from the University of Nottingham
The St Andrews Institute for Data-Intensive Research (IDIR) was set up in September 2014 to provide a focus for research and teaching activities across the University driven by access to “big data”.
IDIR does not directly sponsor or manage any research of its own: rather, we help researchers to collaborate within and beyond their home Schools in areas relating to data and computationally-intensive research.
In the past we have hosted the Summer of Vs (Variety, Veracity, Velocity & Volume) and Summer of Data Workshop Series.
This year we are hosting a series of IDIR Summer Workshops tailored by the interests of the researchers in IDIR. The themes that were identified (and the dates on which each workshop is held) are
03.07.2018 Text and/or Image Processing
24.07.2018 Data (Science) Best Practices
16.08.2018 Health and Simulation Data
04.09.2018 Cloud Computing, High Performance Computing, Reproducibility
This year’s programme of events are being organised by Özgür Akgün and Ruth Hoffmann. Get in touch with them if you would like to contribute.
In the context of “User Centred Design” course, Professor Quigley delivered a series of lectures on Ubiquitous User Interfaces in the University of Lleida, Spain. These lectures draw on a number of SACHI research group studies from work published in UIST, CHI, MobileHCI, IUI, AVI and UMAP.
A SICSA Education workshop on Learning Analytics for Improving Evidence-based Teaching will be organised in St Andrews during summer 2018 by Dr Kasim Terzic.
The School of Computer Science, will be hosting a graduation reception on Wednesday 27th June, in the Jack Cole building, between 10.30 and 12.30. Graduating students and guests are invited to the School to celebrate with a glass of fizz. Computer Science degrees will be conferred in an afternoon ceremony in the Younger Hall. A class photo will be taken at 11am in the Jack Cole building. Family and friends who can’t make it on the day can watch a live broadcast of graduation.
Graduation receptions have been held in the school from 2010 and some class photos have been captured for posterity.
Class photo 2010
Class photo 2011
Class photo 2014
Class Photo 2015
Class photo 2016
Class photo 2017
Abstract:
Dependent types are a wonderful way to construct correct functional programming and specify interfaces as Edwin has shown in his nice book on type driven development using a welsh dragon. But shall we go further in the esoteric world of homotopy type theory? I will try to motivate this and I am looking forward to some discussions with people who have a more pragmatic attitude to dependent types.
Abstract:
The increasing complexity of codes with the growing number of cores that should be utilised make such codes hard to optimise and maintain. In this talk, we present the OpenMP and MPI refactoring implemented in the ParaFormance tool. This tool transforms the sequential code into parallel code able to run on shared memory machines. Further refactoring is implemented to adapt the source code to exploit a larger number of processors on large HPC clusters with message passing support. In addition, the resulting MPI code can be used by developers as a starting point for further optimisation. Both refactorings are preceded by an advanced safety checking which reports concurrency problems and gives hints and suggestions on how to fix them.
