Congratulations to Adeola Fabola, who successfully defended his thesis today. He is pictured with supervisor Dr Alan Millar, Internal examiner Dr Colin Allison and external examiner Dr Elizabeth Falconer, from Bournemouth University.
S4 First Chances @ Computer Science
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.
Event details
- When: 21st June 2018 13:15 - 17:15
- Where: Honey 110 - John Honey Teaching Lab
- Format: Summer School
PhD viva success: Daniel Rough
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
PhD viva success: Chris Schwaab
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
PhD viva success: Franck Slama
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
IDIR Summer Workshop 2018
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.
Ubiquitous User Interfaces by Aaron Quigley in the University of Lleida, Spain
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.
SICSA Education Workshop
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.
Graduation Reception: Wednesday 27th June 2018
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
Why Homotopy type Theory (HoTT) matters – Professor Thorsten Altenkirch
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.
Event details
- When: 25th May 2018 11:00 - 12:30
- Where: Cole 1.33a
- Format: Seminar