Month: January 2018

DLS: Functional Foundations for Operating Systems

Biography: Dr. Anil Madhavapeddy is a University Lecturer at the Cambridge Computer Laboratory, and a Fellow of Pembroke College where he is Director of Studies for Computer Science. He has worked in industry (NetApp, Citrix, Intel), academia (Cambridge, Imperial, UCLA) and startups (XenSource, Unikernel Systems, Docker) over the past two decades. At Cambridge, he directs DLS: Functional Foundations for Operating Systems

PhD viva success: Alexander Murashko

Congratulations to Alexander Murashko, who successfully defended his thesis last week. Alexander is pictured with External Examiner, Professor Paul McKevitt from Ulster University, Internal Examiner Dr Kasim Terzic, Convener Professor Alan Dearle and Supervisor Dr John Thomson. Image courtesy of Annemarie Paton.

Matthew Rice (Open Rights Group): Do we need the Third Sector in the debate about technology and ethics? (School Seminar)

Abstract: Matthew Rice, Scotland Director for the Open Rights Group, the digital rights campaigning organisation, will lead a seminar discussing the role of civil society organisations in the discourse of technology, rights, regulation, and norms. Computer Scientists sit at an important point in this debate, as individuals affected by changes in norms, but more importantly Matthew Rice (Open Rights Group): Do we need the Third Sector in the debate about technology and ethics? (School Seminar)

Arnau Erola (Oxford): Corporate Insider Threat Detection (School Seminar)

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)

Elliott Brooks (The HUT Group): Technology at The HUT Group (School Seminar)

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)

Alice Miller (Glasgow): Probabilistic model checking for UAV strategy generation (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)

Judith Rauhofer (Edinburgh): The Internet of Bodies – What could possibly go wrong? (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)

Karen Petrie (Dundee): A case study of Facebook use: outlining a multi-layer strategy for higher education (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)