School of Computer Science

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 … Jan De Muijnck-Hughes (University of Glasgow): LightClick: A Linear Typed Orchestration Language for System-On-A-Chip Designs

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 … Max L. Wilson (University of Nottingham): Brain-based HCI – What could brain data can tell us HCI

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. … Computer Science hosts J.P. Morgan

Daniel S. Katz (University of Illinois): Parsl: Pervasive Parallel Programming in Python

Please note non-standard date and time for this talk Abstract: High-level programming languages such as Python are increasingly used to provide intuitive interfaces to libraries written in lower-level languages and for assembling applications from various components. This migration towards orchestration rather than implementation, coupled with the growing need for parallel computing (e.g., due to big data … Daniel S. Katz (University of Illinois): Parsl: Pervasive Parallel Programming in Python

Donald Robertson awarded Brendan Murphy Prize at MSN/Cosener’s 2019!

Each year in July, the (broadly-defined) computer networking community converges at Cosener’s House for the MSN workshop. The workshop is an informal gathering where attendees – students in particular – are encouraged to present on-going work and/or crazy ideas. From among the  presentations, the Brendan Murphy Award is given to the best student presentation, generally … Donald Robertson awarded Brendan Murphy Prize at MSN/Cosener’s 2019!

A First – CodeFirst:Girls courses recognised on academic transcript at the University of St Andrews

CodeFirst:Girls is an organisation which runs free coding courses for young women, with partner universities and companies across the UK. The University of St Andrews, School of Computer Science has been a keen supporter of CodeFirst:Girls for the past 5 years. We run their community courses in our premises with our students and staff volunteering … A First – CodeFirst:Girls courses recognised on academic transcript at the University of St Andrews

Daria Savanovich wins the Principal’s Medal

Congratulations to our graduating student Daria, who was awarded the Principal’s medal during this year’s graduation ceremony in recognition of her outstanding achievements. Only two medals were awarded in 2019, one in the sciences, and one in humanities. https://www.st-andrews.ac.uk/graduation/2019/daria-savanovich/

MIP Modelling Made Manageable

Can a user write a good MIP model without understanding linearization? Modelling languages such as AMPL and AIMMS are being extended to support more features, with the goal of making MIP modelling easier. A big step is the incorporation of predicates, such a “cycle” which encapsulate MIP sub-models. This talk explores the impact of such predicates … MIP Modelling Made Manageable

Professor Aaron Quigley new SICSA Director

Congratulations to Professor Aaron Quigley who has been appointed as the new Director of SICSA. Aaron, the Chair of Human Computer Interaction co-founded SACHI, the St Andrews Computer Human Interaction research group and served as its director from 2011-2018. In his volunteer roles he is the ACM SIGCHI Vice President for Conferences (on the ACM … Professor Aaron Quigley new SICSA Director