IBANS (Institute of Behavioural and Neural Sciences) will be running the first drop-in session of on December 11th at 3pm in the Seminar Room in the Psychology & Neuroscience building (first floor). Niki Khan (School of Psychology and Neuroscience) writes: “The drop-in sessions are designed to be periodic social events with catering, where people can … IBANS drop-in session
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)
The School of Computer Science will host a graduation reception on Tuesday 3rd December in the Jack Cole building, between 12.00 and 14.00. Graduating students and their guests are invited to the School to celebrate with a glass of bubbly and a cream cake. Computer Science degrees will be conferred in a morning ceremony in … December Graduation Reception: Tuesday 3rd December
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
Roberto has been part of a very cool project in KTH where they used Constraint Programming to solve a number of compiler problems. He is now working for Edinburgh and we invited him to give us a talk about his research in this area. The talk will be 30 minutes + Q&A. Please come along … Talk by Roberto Castañeda Lozano: Constraint-Based Register Allocation and Instruction Scheduling
Please note non-standard date and time for this talk Abstract: This talk will describe a range of our projects, utilising functional Near Infrared Spectroscopy (fNIRS) in HCI. As a portable alternative that’s more tolerate of motion artefacts than EEG, fNIRS measures the amount of oxygen in the brain, as e.g. mental workload creates demand. As … Max L. Wilson (University of Nottingham): Brain-based HCI – What could brain data can tell us HCI
Following on from a successful visit last year, J.P. Morgan returned to the School of Computer Science today, to promote tech careers, internships and other student opportunities. Staff from the company and students are pictured viewing project challenges and solutions highlighted in their technology showcase whilst discussing future career openings and enjoying the complimentary pizza. … Computer Science hosts J.P. Morgan