Type-Driven Development of Communicating Systems using Idris

Speaker: Jan de Muijnck-Hughes Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are a typing discipline that help resolve this difference by allowing protocol specifications to be used during type-checking … Type-Driven Development of Communicating Systems using Idris

SACHI Seminar – The Collaborative Design of Tangible Interactions in Museums

Title: The Collaborative Design of Tangible Interactions in Museums Abstract: Interactive technology for cultural heritage has long been a subject of study for Human-Computer Interaction. Findings from a number of studies suggest that, however, technology can sometime distance visitors from heritage holdings rather than enabling people to establish deeper connections to what they see. Furthermore, … SACHI Seminar – The Collaborative Design of Tangible Interactions in Museums

Infection Group Journal Club

Michael Pitcher will be presenting to the School of Medicine’s Infection Group next Thursday. The talk will be a Journal Club meeting, where he will be discussing the following article from the Lancet Infectious Diseases: P. T. Elkington and J. S. Friedland, “Permutations of time and place in tuberculosis,” Lancet Infect. Dis., vol. 15, no. … Infection Group Journal Club

Graduation November 2016

Congratulations to the Masters Class of 2016, and PhD students Dr Vinodh Sampath and Dr Oche Ejembi, who graduated last month. Each year, students are invited to a reception in Computer Science to celebrate their achievement and reflect on their time in the School, with staff and guests. Our graduates have moved on to a … Graduation November 2016

Talk: Using cost models of algorithmic skeletons

Abstract:  The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing a combination of algorithmic skeletons that yields good parallel speedups … Talk: Using cost models of algorithmic skeletons

Alexander Konovalov: Certified Software and Data Carpentry Instructor

Congratulations to Alexander Konovalov who has just completed the instructor training course and subsequent assignments and is now certified to teach Software Carpentry and Data Carpentry workshops. Software Carpentry is a volunteer organisation whose goal is to make scientists more productive, and their work more reliable, by teaching them basic computing skills. Its sibling organisation … Alexander Konovalov: Certified Software and Data Carpentry Instructor

CodeFirst:Girls Final presentations Fall 2016

Congratulations to our St Andrews Computer Science Code First Girls, for completing the Fall 2016 course, and staging their final projects. Students are pictured presenting some of their diverse and ambitious projects to staff, CFG tutors and fellow students. Presentations were followed by some home baking. Judges awarded overall winner to Marya Simeonova and Chirsty … CodeFirst:Girls Final presentations Fall 2016