School Seminar Series

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)

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

Abstract: Two important aspects in hardware design are the safe routing of signals between modules, and ensuring that ports are correctly connected. Well-known hardware description languages such as SystemVerilog, provide nominal checking over these aspects. Thus, leaving correctness checks over module orchestration to be performed post-design-time using static analyses, testing, and during synthesis. Using a … Jan De Muijnck-Hughes (University of Glasgow): LightClick: A Linear Typed Orchestration Language for System-On-A-Chip Designs

Abstract: This talk provides an insight into the challenges involved in providing near real-time news search to Bloomberg customers. It starts with a picture of what’s involved in building such a backend, then delves into what makes up a search engine. Finally we discuss the challenges of scaling up for low-latency and high-load, and how … Ankush Jhalani (Bloomberg): Building Near Real-Time News Search

Abstract: Writing optimising compilers is difficult. The range of programs that may be presented to the compiler is huge and the system on which they run are complex, heterogeneous, non-deterministic, and constantly changing. Machine learning has been shown to make writing compiler heuristics easier, but many issues remain. In this talk I will discuss recent … Hugh Leather (Edinburgh): Deep Learning for Compilers (School Seminar)

Abstract: 2018 was a crazy year for privacy. The General Data Protection Regulation came into force in May, and new revelations on the personal data ecosystem were making headlines on a weekly basis. I will give the behind the scenes for a lot of these events, question why they didn’t happen earlier, and offer some … Paul-Olivier Dehaye: From Cambridge Analytica to the future of online services: a personal journey (School Seminar)