Tristan Henderson appointed to Editorial Board of ACM Books

Dr Tristan Henderson has been appointed to the Editorial Board of ACM Books, to serve as the Area Editor for Networking and Communications. ACM Books is a new publishing initiative from the ACM, focusing on “graduate-level textbooks, deep research monographs that provide an overview of established and emerging fields, practitioner-level professional books, and books devoted to the history and social impact of computing.” More information about the specific subject areas covered can be found at

As Area Editor Tristan is responsible for soliciting and developing book proposals, and reviewing and arranging the external review of new proposals and manuscripts. If anyone is interested in writing a book in anything to do from routing to mobile networks to Internet science or to economics or legal aspects of the Internet and beyond, then please get in touch.

School Seminar: “The path to Cellular IoT and the promise of 5G” by Frankie Garcia

The School of Computer Science welcomes Frankie Garcia from Keysight Technologies, Edinburgh. Frankie Garcia

Abstract: Over the last two decades we have witnessed an unprecedented growth in the number of Internet-connected devices via the Cloud (storage, compute and intelligent analytics) generally referred to as the Internet of Things (IoT). This includes both machine-to-machine (M2M) and machine-to-person communications on a massive scale. While this growth has been fuelled through standardisation and engineering of short range wireless systems such as Bluetooth, Wi-Fi and Zigbee, cellular technologies promise wide area coverage, ease of deployment and low-cost/low-energy devices capable of operating for many years on a small battery. However, IoT technologies based on existing cellular systems are not optimized to support the huge number of simultaneous connections needed for widespread adoption. To achieve this, radical changes are required in protocol layer design, radio access techniques, and future integrated platforms that can scale and handle millions of devices efficiently. These devices will themselves exhibit a diverse set of requirements with respect to reliability, latency and availability. For these reasons, Cellular IoT has become one of the most important use case drivers in the evolution of future 5G technologies and architectures.

In this talk we will briefly introduce the audience to existing cellular standards and systems to support IoT communications, including their strengths and limitations. We will then cover the path towards more efficient cellular technologies being developed today under 3GPP, focusing heavily on Narrowband IoT (NB-IoT). This will be followed by a short introduction to 5G mobile network evolution needed to reduce signalling overheads and cater for a diversity of IoT use cases. This evolution is driven by tried and tested technologies used for virtualisation such as Software Defined Networking (SDN) and Network Function Virtualisation (NFV). “Slicing”, is a much discussed design principle that that includes logical access, compute, storage and networking for on demand architectures tailored to individual service requirements. Finally, we will present the development of an agile SDR platform targeting experimentation and prototyping of NBIoT systems.

Bio: Educated at Lancaster University, Frankie Garcia is currently Master Scientist with Keysight Technologies in Edinburgh. In addition he is project scientist with Agilent Technologies and over the last two years he has been working on adaptive radio technologies focusing on test and measurements tools and validation tools for the complex interactions that take place between the PHY and MAC layer of such adaptive radios. In particular his focus has been on Mobile WiMAX and presently on LTE.

His experience, based on academic and industrial research labs settings is quite broad raging from distributed systems, protocol engineering, high speed communications, multimedia systems, wireless sensor networks, adaptive radio and QoS.

He is a Visiting Professor at Strathclyde University, Department of Electronic and Electrical Engineering.

Event details

  • When: 27th September 2016 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Distinguished Lecture Series: Reminder of next event – ‘CS for All’ by President Maria Klawe

Reminder that President Maria Klawe will be speaking at our Distinguished Lecture Series on March 31st 2016 in St Andrews.KlaweMaria

During this event Maria  will discuss the challenges in CS for all, including CS education in K-12, computing for all in undergraduate education, and CS research aimed at people with accessibility challenges and creating educational and research opportunities around the applications of computational technologies in almost every discipline and economic sector.

Programme of events:

  • 09:00 – 09:30
    • Introduction: By Professor Aaron Quigley
  • 09:30 – 10:30
    • Lecture 1: Computing for all in K-12 education
  • 10:30 – 11:00
    • Coffee Break: Refreshments served in foyer
  • 11:00 – 12:00
    • Lecture 2: Computing for all in undergraduate education
  • 12:00 – 14:00
    • Lunch Break: Free time
  • 14:00 – 15:00
    • Lecture 3: Computing for all in research
  • 15:00 – 15:30
    • Q & A: Open forum in the auditorium
  • 15:30 – 16:00
    • Informal time with Speaker: In the foyer

Event details

  • When: 31st March 2016 09:00 - 16:00
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

Welcome to new Staff and Students

We are delighted to introduce the latest members of staff and research students to the school.

Dr Bo Chen:

Dr. Chen is an Associate Professor in the School of Information and Software Engineering, University of Electronic Science and Technology of China (UESTC, He is oriented by Dr. Adam Barker now as a BoVisiting Scholar till February, 2017. He received his Ph.D. in Computer Science in 2008 from UESTC. His major research areas include: 1) Rough Set and Soft Computing 2) Data-intensive Computing Software Infrastructure 3) Data Science and Inter-disciplinary Applications. Dr. Chen has substantial industrial backgrounds. Before join UESTC, he served as software engineer and senior consultant for middleware vendors Tongtech and BEA. He PI and Co-PI-ed some Chinese national granted projects for service oriented software platform in modern service fulfilling and international e-trading. He serves as an expert panel member of China Ministry of Science and Technology, for China State Sci- Tech Support Program and Torch Program. He is also a deputy sectary and expert panel member of Innovation Technology Alliance for Electronic Trade Industry (, led by China Ministry of Commerce. For more information, please check out his UESTC faculty webpage

Dr Roushanak Rahmat:

roshiRoushanak is a Research Fellow in the School of Computer Science at the University of St. Andrews working on WORKANDHOME project with Dr Adam Barker.

Her research interests include mobile app design, cloud computing, image/signal processing and medical image analysis.



Dawand Sulaiman:

Dawand I earned my master’s degree in Software Engineering in the Department of Computer Science at the University of St Andrews (Academic Year: 2011/12) and received a medal for the best dissertation in the programme. Prior to that, I gained my BSc degree in Applied Computing in Ming Chuan University in Taiwan. For the last three years, I was in my hometown and worked as an instructor in the University of Kurdistan Hêwler and taught several modules including: Problem Solving Techniques, Data Structures and Algorithms, Object Oriented Programming, and Web Technologies. Meanwhile, I developed and distributed more than 30 mobile apps for both iOS and Android platforms.

I have started my PhD under the supervision of Adam Barker in January 2016. I will be working alongside an interdisciplinary team of researchers from Computer Science and Geography in the WORKANDHOME project, which investigates how home-based businesses are shaping society and space.

Guilherme Carneiro:

My name is Guilherme Carneiro, I am from Brazil. I hold a BSc in Computer Science with a specialization in SoGuilhermeftware Engineering. I have some experience in industry where I spent few years working at IBM with production databases of American customers. In 2013, I returned to academia to receive training in research with a Master in Human-Computer Interaction (HCI) at Paris-Sud University in France. Before coming to St. Andrews, I worked for 6 months as a Research intern at INRIA (the French National Institute for computer science and applied mathematics).

I am starting my PhD under the supervision of Prof. Aaron Quigley and Dr. Miguel Nacenta in SACHI. My research topic is focused on collaborative information visualization to facilitate group decision making in real-time. My PhD is currently funded by CNPq and the Brazilian government through the Science Without Borders program.

I love traveling and visiting new places. I like any sports in general. I also have training in self-defense with a black belt in kung-fu.

Yasir Alguwaifli:

YasirUntil now I have been working as a lecturer in computer science, mainly teaching web-related modules. Before joining the academic field, I was a student mainly working in web-related as full-stack developer but sometimes dipping my toes in other areas such as artificial intelligence, natural language processing, and formal-verification.

I have now started my PhD with Professor Kevin Hammond’s team. When I’m not spending my nights looking at code, I usually enjoy playing mmorpgs or watching gaming streams!


School Seminar: ‘Probabilistic Formal Analysis of App Usage to Inform Redesign’ by Oana Andrei

The School of Computer Science are delighted to welcome Dr Oana Andrei, from the University of Glasgow, to give her talk on Probabilistic Formal Analysis of App Usage to Inform Redesign.


Abstract: Good design of mobile apps is challenging because users are seldom homogeneous or predictable in the ways they navigate around and use the functionality presented to them. Recently we set out a process of app analysis intended to support understanding of use but also redesign using probabilistic model checking. In this talk I will show how to infer admixture models of activity patterns from various time cuts of app usage logs, characterise the activity patterns by probabilistic temporal logic properties using model checking, and compare the admixture models longitudinally and structurally. I will illustrate this work via a case study of a mobile app presenting analytic findings and discussing how they are feeding into redesign. We had posited that two activity patterns indicated two separable sets of users, each of which might benefit from a differently tailored app version, but our subsequent analysis detailed users’ interleaving of activity patterns over time – evidence speaking more in favour of redesign that supports each pattern in an integrated way. We uncover patterns consisting of brief glances at particular data and recommend them as possible candidates for new design work on widget extensions: small displays available while users use other apps.

Bio: Oana Andrei is a Research Fellow at the School of Computing Science, University of Glasgow. Her research interests involve fundamental aspects of theoretical computer science, mainly formal modelling and analysis of concurrent and stochastic systems. The applications I study concern mobile app analytics, vehicular networks, sensor systems, biochemical networks, and autonomic computing.


Event details

  • When: 9th February 2016 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Distinguished Lecture Series: ‘CS for All’ by President Maria Klawe

The School of Computer Science is delighted to announce that President Maria Klawe will be speaking at our Distinguished Lecture Series on March 31st 2016 in St Andrews. This event will consist of a series of talks from 9am with a tea/coffee break, a lunch break, afternoon talk and Q&A session. Maria Klawe2


Maria Klawe became Harvey Mudd College’s fifth president in 2006. She joined Harvey Mudd from Princeton University after serving 14 years at the University of British Columbia. Prior to UBC, Klawe spent eight years with IBM Research in California and two years at the University of Toronto. She received her PhD (1977) and BSc (1973) in mathematics from the University of Alberta. In addition to numerous other commitments, Klawe is a member of the boards of Microsoft Corporation, Broadcom Corporation and the nonprofit Math for America and is a fellow of the American Academy of Arts & Sciences.

Distinguished Lecture Series

Lecture 1 starting at 09:00hrs: Computing for all in K-12 education

Lecture 2 starting at 11:00hrs:  Computing for all in undergraduate education

Lecture 3 starting at 14:00hrs: Computing for all in research

There will be a Q & A session between 15:00hrs and 15:30hrs, followed by the opportunity to meet President Klawe informally in the foyer.

Event details

  • When: 31st March 2016 09:00 - 16:00
  • Where: Byre Theatre
  • Series: Distinguished Lectures Series
  • Format: Distinguished lecture

2014/15 Graduation Reception on St Andrews Day

The School of Computer Science will be holding a Graduation Reception in the Jack Cole Building on Monday 30th November 2015 from 11:00am to 14:00pm for Masters and PhD students who are graduating that day at Younger Hall.

The graduates are invited, along with their guests, to come along after the ceremony for a glass of bubbly and mini cream cake or two! Staff are encouraged to come along and join in the celebrations.

On behalf of the school may I wish those graduates unable to attend Graduation the very best for their future endeavors.


Event details

  • When: 30th November 2015 11:00 - 14:00
  • Where: Cole Coffee Area

Distinguished Lecture Programme: ‘Scalability and Fault-tolerance, are they the same?’ by Joe Armstrong

The first of this academic year’s distinguished lectures will be given by Professor Joe Armstrong, co-inventor of Erlang, on Monday 16th November 2015 at The Byre Theatre. The programme is as follows:

09:15 – 09:30   Introduction By Professor Kevin Hammond

09:30 – 10:45   Lecture 1 [Setting the scene: I’ll talk about the software landscape of the mid 80’s and discuss which problems we were  trying to solve. I’ll talk about the early experiments that led to Erlang.]

10:45 – 11:15   Coffee Break – Refreshments provided

11:15 – 12:30   Lecture 2 [The middle years: I’ll talk about the enhancements we made to Erlang. How we added distribution and the bit syntax and so on. I’ll talk about company politics, building a community and about the obstacles to introducing a new technology.]

12:30 – 14:00   Lunch Break Free time

14:00 – 15:15   Lecture 3 [WhatsApp and the future: I’ll talk about what happened after Erlang became open source and how this changed everything. I’ll talk about the explosive growth of Erlang which lead to adoption by WhatsApp.

 I’ll also talk about the future. What are the challenges of the Internet of things? How can we make massively distributed systems that run forever?]

15:15 – 15:30   Q & A Session – Open forum