School of Computer Science

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.

Oana-portrait-180width

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

Seminar: “Data Exploration on Smart watches” by Dr Rachel Menzies

rachel menzies

Abstract:

For many of us, interacting with data on mobile devices such as phones and tablets is commonplace in our lives, e.g. phone call data, TV guide, maps, fitness and wearable data. With the introduction of smart watches, the screen size of mobile devices has dramatically decreased. This reduction in screen real estate provides challenges for the design of interfaces, including the presentation and exploration of data visualisations. Using bar charts as an example, this presentation will explore the shortcomings of current zooming techniques on very small screens and consider proposed guidelines for the development of simple data exploration applications. Key design features such as the need for overview and context will be considered in respect to a simple and effective data exploration task.

 

Biography:

Rachel Menzies is a lecturer and Head of Undergraduate Studies (Computing) at the School of Science and Engineering at the University of Dundee. Her research interests include user centred design with marginalised user groups, such as users with disabilities, as well as exploring novel interfaces, data visualisation and CS education. Rachel is an Accessibility and Usability Consultant with the Human Centred Computing Consultancy, run by the University of Dundee, and has worked for many large international clients as well as providing bespoke training sessions to small companies.

Event details

  • When: 23rd February 2016 14:00 - 15:00
  • Where: Cole 1.33
  • Series: School Seminar Series
  • Format: Seminar, Talk

Graduation November 2015

Congratulations to the Masters Class of 2015, and PhD students Dr Luke Hutton and Dr Chris Schneider who graduated on Monday. Dr Chonlatee Khorakhun graduated in absentia.

Students were invited to a reception in the school to celebrate their achievement with staff, friends and family.

grad2

grad3

grad1

grad4

grad5

Our graduates have moved on to a wide variety of interesting and challenging employment and further study opportunities, and we wish them all well with their future careers.

Daily Record & Bòrd na Gàidhlig Scottish Gaelic Award for Virtual St Kilda

Congratulations to The Open Virtual Worlds group and Virtual St Kilda, which won the Gaelic as an Economic Asset Award at the Daily Record & Bòrd na Gàidhlig Scottish Gaelic Awards 2015. Dr Iain Oliver (left, from Open Virtual Worlds) and Norman MacLeod (middle) are pictured receiving the award on Wednesday evening.

ovw

Distinguished Lecture Series 2015: Joe Armstrong

Earlier this week Professor Joe Armstrong from the KTH Royal Institute of Technology in Stockholm, delivered the second set of distinguished lectures for 2015, in the Byre Theatre. The three topical, well attended and interesting lectures centred around the question “Scalability and fault-tolerance, are they the same?”

dls1

dls2

Images courtesy of Saleem Bhatti

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

Biography

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

Palimpsest recognised by British Library Labs

A new annual competition set up to identify outstanding and innovative work, created using the British Library’s digital collections and content, has recognised Palimpsest. The 2015 British Library Labs Awards honoured projects within three key categories: Research, Creative/Artistic and Entrepreneurship. Palimpsest: Telling Edinburgh’s Stories with Maps, was runner up in the Research category.

pset

Congratulations to Uta, David and Aaron on the continued success of Palimpsest.

CodeFirst:Girls final presentations Fall 2015

Congratulations to our St Andrews Computer Science Code First Girls, for completing the Fall 2015 course and staging their final projects. Students are pictured presenting their diverse and ambitious projects to staff and students in the School. Presentations were followed by a cheese and wine reception. Prizes were awarded for overall winner to Kahina Le Louvier for MuZik4Kids and runner up to Lucy Sharp and Lucy Wallis for Amelia Florence. Well done to all. Read more about CodeFirst:Girls in our previous post Computer Science supports CodeFirst:Girls 2015.

cfgirls1

cfgirls2