IBANS drop-in session

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 meet each other, get help with their experiments, discuss prospective collaborations, knowledge exchange etc. We are envisaging questions on study design, programming (Python, R, other), version control, visualisations, and other topics. At the first of such meetings (on Dec 11th), we will discuss with those who will come what we would like to do next. These sessions may be especially useful for those who have attended  Software Carpentry training, and now would like to further practice and master their computational skills.“

Event details

  • When: 11th December 2019 15:00

Winnability of Klondike Solitaire research featured in New Scientist

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 satisfying to me because my mother taught me games like King Albert as a child and I loved to play them with her. Now I know for the first time the chance of winning that game is about 68.5%.

It is wonderful to see work which started as an undergraduate student project feature in the New Scientist. This obviously reflects Charlie’s fantastic programming that he did. But it also shows the research-level quality work that undergraduate students can do as part of their studies in St Andrews.”

Link to the full paper on arxiv: https://arxiv.org/abs/1906.12314

Online article published in Technology Nov 17th: https://www.newscientist.com/article/2223643-we-finally-know-the-odds-of-winning-a-game-of-solitaire/

Computer donation to United Kingdom Jarra Association (UKJA)

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 Association. We hereby thank Dr Stuart Nacroos, the entire Systems team and Sheriffo Ceesay (a native of Jarra and current Computer Science PhD Student at your reputable institution) for facilitating this donation. The team also devoted their time to assist in moving the items securely for collection last Saturday – we are very grateful.

The UKJA was formed by Gambians resident in the UK in August 2015 and attained full charitable status in May 2017 with number 1173058. Our aim is to support development initiatives of Jarra in rural Gambia – Jarra comprises Jarra West, Jarra Central and Jarra East where we hail from. We aim to do this through the promotion of education, health and Poverty alleviation.

In the area of education, our focus is on STEM related subjects. ​The association believes that every child deserves a better learning environment to assist them reach their maximum potential and fulfil their dreams irrespective of their background. The association, cognisant of the above challenges conceived the “Educate Jarra” programme. At the core of this intervention is Science, Technology, English and Mathematics with physics, Chemistry, Biology.

Two years ago, the charity, in partnership with Islamic Cooperation for Development (ICO) based in Jeddah Saudi Arabia established our first Science and Computer Laboratory in Soma also in Jarra. In 2019, we expanded our intervention to Bureng where the construction of a new science and computer laboratory is now complete. The donated equipment will directly be used to equip Bureng.

Your intervention arrived at a time when we are vigorously raising the required funds to furnish the facility. Use the link below for further information about our ongoing fundraising: https://www.gofundme.com/f/better-educational-facilities-for-kids-in-jarra?utm_source= whatsApp&utm_medium=chat&utm_campaign=p_cp+share-sheet​. We will also donate some of the computers to the region’s Senior Secondary School and other secondary schools that have access to electricity. We acknowledge the importance of computers and technology in the modern world and our goal is to nurture and prepare the younger generation to be challengers of the future by producing Scientists, Doctors and engineers through the education programme.

In the area of health, the UKJA currently supports the Soma Referral Hospital’s maternity unit. In partnership with FAR – an oil company working in The Gambia – in 2018 we embarked on a project to improve conditions of service at the maternity unit of the hospital. Through this we have been able to expand capacity of the labour ward and provided equipment including those for the operating theatre. Some of the computers received will be donated to this hospital as a step to digitalise the hospital and help improve patient management system. The importance of electronic health information system in the era of technology cannot be overemphasised. Record keeping in The Gambia has always been approached in the traditional. These computers will change that trend in Soma.

With this brief, you will be convinced that your donation will be put to good through the UKJA. Therefore, as a charitable institution, we are always looking for possible collaboration in the aforementioned areas with the aim to help improve our communities. We look forward to continuously working with your reputable institution in the best interest of our community.

Please be assured of our highest consideration.

Sulayman A. Bah
Secretary General

United Kingdom Jarra Association (UKJA) is a registered Charity in England and Wales. Registered number 1173058

December Graduation Reception: Tuesday 3rd December

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 the Younger Hall. 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.

Rob Stewart (Heriot-Watt University): Reliable Parallel Computing using Model Checking

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 parallel HPC language. HdpH-RS has a formal semantics, and a fault tolerant work stealing scheduler that has been verified with the SPIN model checker. At embedded scale, program transformations on stateful dynamic code can introduce bugs, race conditions and deadlock. I will present a parallel refactoring tool for the CAL dataflow language. It is integrated with the TINA model checker that we use to identify parallelisable cyclo-static actors in dynamic dataflow programs.

The broader aim of this work is to integrate automated formal verification into parallelising compilers and parallel runtime systems for heterogeneous architectures.

Speaker bio: Dr Rob Stewart is an Assistant Professor at Heriot-Watt University. He’s interested in formalising, verifying and implementing dataflow, functional and domain specific programming languages for manycore architectures and programmable hardware.

Event details

  • When: 19th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Bran Knowles (Lancaster University): Understanding older adults’ distrust of digital technology

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, therefore, a critical design consideration for appealing to older adults? In this talk I will argue that while distrust is not, in fact, determinative of non-use and therefore does not explain these differences in tech usage, it is nonetheless key for designers to understand older adult distrust in developing socially responsible technologies.

Speaker Bio: Bran is a lecturer in the Data Science Institute at Lancaster University. Her research explores the social impacts of computing, with a particular interest in trust, privacy, and ethics. Her recent work has explored these issues at both ends of the age spectrum, with projects such as IoT4Kids, looking at the privacy, security and ethical issues of enabling children to programme IoT devices; and Mobile Age, looking at developing mobile apps for older adults. Bran currently serves as a member of the ACM Europe Technology Policy Committee.

Event details

  • When: 12th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Jan De Muijnck-Hughes (University of Glasgow): LightClick: A Linear Typed Orchestration Language for System-On-A-Chip Designs

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 mixture of dependent and quantitative typing, we can lift external correctness checks over module connections directly into the type-system. With this approach we can detect more errors at design time, enhance the safety of our hardware designs, and thus increase design productivity.

In this talk I will introduce and discuss LightClick, an orchestration language for hardware design that exemplifies our approach. LightClick uses quantitative typing to ensure linear usage of ports, and dependent types to ensure that port compatibility is a decidable compile-time check. I will show how LightClick can be used to model simple hardware designs, how SystemVerilog stubs are generated from designs using staged interpretation.

Speaker Bio: Jan is a Research Associate at the University of Glasgow, who is interested in using state-of-the-art advances in programming language theory to build more trustworthy systems. Jan is currently involved in the Border Patrol project – a collaboration between the Universities of Heriot-Watt, Glasgow, and Imperial College London to explore how Dependent Typing and Session Typing can help make hardware design safer and secure.

Event details

  • When: 5th November 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Talk by Roberto Castañeda Lozano: Constraint-Based Register Allocation and Instruction Scheduling

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 if you are interested.

Date/time: Oct 30th, 11am

Location: JC 1.33b

Title: Constraint-Based Register Allocation and Instruction Scheduling

Presenter: Roberto Castañeda Lozano – School of Informatics, University of Edinburgh

(joint work with Mats Carlsson, Frej Drejhammar, Gabriel Hjort Blindell, and Christian Schulte at RISE SICS and KTH Royal Institute of Technology in Stockholm, Sweden)

Abstract: This talk presents a constraint-based approach to register allocation and instruction scheduling, two central compiler problems. Unlike conventional heuristic algorithms, constraint programming has the potential to solve these problems optimally and to exploit processor-specific features readily. Our approach is the first to leverage this potential in practice by capturing the complete set of register allocation and instruction scheduling subproblems handled by state-of-the-art compilers, scaling to medium-sized problems, and generating executable code. The approach can be used to trade compilation time for code quality beyond the usual compiler optimization levels, explore and exploit processor-specific features, and identify improvement opportunities in conventional compilers.
More information can be found in Roberto’s doctoral dissertation (https://robcasloz.github.io/publications/TRITA-EECS-AVL-2018-48.pdf) and on the project’s website (http://unison-code.github.io).

Max L. Wilson (University of Nottingham): Brain-based HCI – What could brain data can tell us HCI

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 opposed to BCI (trying to control systems with our brain), we focus on brain-based HCI, asking what brain data can tell us about our software, our work, our habits, and ourselves. In particular, we are driven by the idea that brain data can become personal data in the future.

Speaker Bio:

Dr Max L. Wilson is an Associate Professor in the Mixed Reality Lab in Computer Science at the University of Nottingham.  His research focus is on evaluating Mental Workload in HCI contexts – as real-world as possible – primarily using functional Near Infrared Spectroscopy (fNIRS).  As a highly tolerant form of brain sensor, fNIRS is suitable for use in HCI research into user interface design, work tasks, and everyday experiences.  This work emerged from his prior research into the design and evaluation of complex user interfaces for information interfaces. Across these two research areas, Max has over 120 publications, including a Honourable Mention CHI2019 paper on a Brain-Controlled Movie – The MOMENT.

Event details

  • When: 25th October 2019 14:00 - 15:00
  • Where: Cole 1.33b
  • Series: School Seminar Series
  • Format: Seminar

Computer Science hosts J.P. Morgan

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.

J.P. Morgan is a popular destination for St Andrews graduates demonstrated by Alumni (Sjoukje Ijlstra, Conner Somerville and Mathew Kaminski) who are part of the team representing the company at the successful event.Great to see them back in the School.