School of Computer Science

Abstract: It is widely recognised that the threat to enterprises from insider activities is increasing, and that significant costs are being incurred. Since insider threat and compromising actions can take a multitude of forms, there is a diverse experience and understanding of what insider threats are, and how to detect or prevent them. We investigate … Arnau Erola (Oxford): Corporate Insider Threat Detection (School Seminar)

Abstract TBD

Abstract: The HUT Group have a variety of engineering, UX and data science teams solving real-world customer and logistics problems. This presentation looks at a variety of solutions applied across the business, from continuous release processes to warehouse layout approaches. Speaker Bio: Elliott graduated from CS at St Andrews in 2016, and now works within … Elliott Brooks (The HUT Group): Technology at The HUT Group (School Seminar)

Abstract: I will describe how the PRISM model checker was used to generate strategies for an Unmanned Aerial Vehicle (UAV), specifically to determine search strategies for a UAV trying to find objects within a grid, for a range of scenarios. Parameters and probabilities for our models were informed by simulation models developed in the School … Alice Miller (Glasgow): Probabilistic model checking for UAV strategy generation (School Seminar)

Abstract: The “Internet of Bodies” is turning into a popular catchphrase to describe the next generation of the Internet of Things – the move from a collection of everyday objects connected to the Internet and each other to a scenario, where those devices are attached to, or incorporated into, the human body with a view … Judith Rauhofer (Edinburgh): The Internet of Bodies – What could possibly go wrong? (School Seminar)

Abstract: Many students are looking to appropriate social networking sites, amongst them, Facebook, to enhance their learning experience. A growing body of literature reports on the motivation of students and staff to engage with Facebook as a learning platform as well as mapping such activities to pedagogy and curricula. This talk will look through some … Karen Petrie (Dundee): A case study of Facebook use: outlining a multi-layer strategy for higher education (School Seminar)

Abstract: Many real-world systems are most naturally modelled by “multi-layer” networks, which allow for different types of connections between entities; it is therefore important to develop efficient algorithms to extract information from such networks. However, most existing results concerning the structural properties of graphs/networks which allow us to solve NP-hard problems efficiently consider only the … Kitty Meeks (Glasgow): Exploiting structure in multi-layer networks: a case study on motif counting (School Seminar)

Abstract: Usable security is about exploring the relationship between the tools which are supposed to keep people safe and the ways that people interact with them. In this talk, I will be discussing two of my recent projects: URL readability and reasons for avoiding software updates. URLs are a nearly ubiquitous method of telling another … Kami Vaniea (Edinburgh): Usable Security: From URLs to Updates (School Seminar)

Abstract: This talk concentrates on our efforts over the years to make the harvesting of relevant data from mobile devices accurate and efficient, to allow on device data interpretation and to produce models able to interpret the data so that it can be exploited for a wide range of applications. In this sense I will … Cecilia Mascolo (Cambridge): Systems, Models and Learning: From mobile devices to mobile data (School Seminar)