Congratulations to Teng Yu, who successfully defended his thesis in December. He is pictured with supervisor Dr John Thompson, external examiner Dr Jeremy Singer from the University of Glasgow and Internal examiner Prof Al Dearle.
Congratulations to David Symons, who successfully defended his thesis in December. Internal examiner was Dr Kasim Terzic and Prof Gregory O’Hare from University College Dublin acted as external examiner.
Congratulations to Michael Pitcher, who successfully defended his thesis today. He is pictured with Dr Ruth Bowness, Internal examiner Prof Tom Kelsey, external examiner Professor Marc Lipman from University College London and Supervisor Prof Simon Dobson. Michael’s thesis was co-supervised by Prof Stephen Gillespie from the School of Medicine.
Abstract: In this talk, I will present a case study to illustrate how automated algorithm configuration can be used to gain insights into theoretical results on an evolutionary algorithm, namely the (1+(λ,λ)) Genetic Algorithm. This work is a collaboration with Carola Doerr. The (1+(λ,λ)) Genetic Algorithm is an evolutionary algorithm that has interesting theoretical properties. … Nguyen Dang (University of St Andrews): Hyper-Parameter Tuning for an evolutionary algorithm
Abstract: There is an ever-increasing burden on imaging departments to deliver high-throughput assessment of medical images. MRI in particular provides the advantage of full-body coverage and and a variety of quantitative imaging techniques, such as diffusion-weighted MRI, that can offer potent biomarkers for disease response and prognosis; with the advent of accelerated imaging techniques, many quantitative images can now be acquired … Matt Blackledge (Institute of Cancer Research): Clinical Computational Imaging: Perspectives in Oncology
Abstract: In this talk, I explore how group theory playing a crucial role in cyber security and quantum computation. At the same time, how computer science for example machine learning algorithms and computational complexity could help group theorists to tackle their open problems, as such this could help with cryptanalysis of the proposed primitives. Symmetry … School seminar: Interactions between Group Theory, Cyber Security, Artificial Intelligence, and Quantum Computation – talk by Delaram Kahrobaei (York)
Research carried out by Charlie Blake and Ian Gent to compute the approximate odds of winning any version of solitaire featured in New Scientist last week (print edition November 23rd ). Ian emphasised the calibre of research carried out by our undergraduate students and his early interaction with card games. “This research has been hugely … Winnability of Klondike Solitaire research featured in New Scientist
The School received the following letter of appreciation from UKJA for a recent donation of computers and IT equipment. Dear Sir, I am writing on behalf of The United Kingdom Jarra Association (UKJA) to thank the prestigious School of Computer Science of The University of St Andrews for their recent donation of Computers to our … Computer donation to United Kingdom Jarra Association (UKJA)
Abstract: This talk will demonstrate how model checking based verification of compilers and runtime systems can increase the confidence of parallel execution of programming languages, using two case studies. As HPC systems continue to increase in scale, their mean time between failure decreases meaning reliability has become a major concern. I will present HdpH-RS, a … Rob Stewart (Heriot-Watt University): Reliable Parallel Computing using Model Checking
Abstract: It is well known that older adults continue to lag behind younger adults in terms of their breadth of uptake of digital technologies, amount and quality of engagement in these tools and ability to critically engage with the online world. Can these differences be explained by older adults’ distrust of digital technologies? Is trust, … Bran Knowles (Lancaster University): Understanding older adults’ distrust of digital technology