Multimodal mobile interaction – making the most of our users’ capabilities by Stephen Brewster, University of Glasgow

Title: Multimodal mobile interaction – making the most of our users’ capabilities


Mobile user interfaces are commonly based on techniques developed for desktop computers in the 1970s, often including buttons, sliders, windows and progress bars. These can be hard to use on the move which then limits the way we use our devices and the applications on them. This talk will look at the possibility of moving away from these kinds of interactions to ones more suited to mobile devices and their dynamic contexts of use where users need to be able to look where they are going, carry shopping bags and hold on to children. Multimodal (gestural, audio and haptic) interactions provide us new ways to use our devices that can be eyes and hands free, and allow users to interact in a ‘head up’ way. These new interactions will facilitate new services, applications and devices that fit better into our daily lives and allow us to do a whole host of new things


I will discuss some of the work we are doing on input using gestures done with fingers, wrist and head, along with work on output using non-speech audio, 3D sound and tactile displays in applications such as for mobile devices such as text entry, camera phone user interfaces and navigation. I will also discuss some of the issues of social acceptability of these new interfaces; we have to be careful that the new ways we want people to use devices are socially appropriate and don’t make us feel embarrassed or awkward


Biography: Stephen is a Professor of Human-Computer Interaction in the Department of Computing Science at the University of Glasgow, UK. His main research interest is in Multimodal Human-Computer Interaction, sound and haptics and gestures. He has done a lot of research into Earcons, a particular form of non-speech sounds. He completed his degree in Computer Science at the University of Herfordshire in the UK. After a period in industry he did his PhD in the Human-Computer Interaction Group at the University of York in the UK with Dr Alistair Edwards. The title of his thesis is “Providing a structured method for integrating non-speech audio into human-computer interfaces”. That is where he developed his interests in earcons and non-speech sound. After finishing his PhD he worked as a research fellow for the European Union as part of the European Research Consortium for Informatics and Mathematics (ERCIM). From September, 1994 – March, 1995 he worked at VTT Information Technology in Helsinki, Finland. He then worked at SINTEF DELAB in Trondheim, Norway.

Event details

  • When: 20th February 2012 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium

Idris: Verified Systems Programming with Dependent Types by Edwin Brady

Systems software, such as an operating system or a network stack, underlies everything we do on a computer, whether that computer is a desktop machine, a server, a mobile phone, or any embedded device. It is therefore vital that such software operates correctly in all situations. In recent years, dependent types have emerged as a promising approach to ensuring program correctness using languages and verification tools such as Agda and Coq. However, these tools operate at a high level of abstraction and so it can be difficult to map these verified programs to efficient low level code, working with bit-level operations and interacting directly with system services.

In this talk I will describe Idris, a dependently typed programming language implemented with systems programming in mind. I will show how it may be used to implement programs which interact safely with the operating system, in particular how to give precise APIs for verifiable systems programming with external C libraries.

Bio: Edwin Brady is a SICSA Advanced Research Fellow at the University of St Andrews
(http://www.cs.st-andrews.ac.uk/~eb)

Event details

  • When: 6th February 2012 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium

Responsibility Modelling by Prof Ian Sommerville

Many ‘failures’ in software-intensive organisational systems result from human actions or inaction so, to reduce the possibility of such ‘failures’ and so improve system dependability, it is important to adopt a holistic view where system designers consider the environment in which a system will be used as well as the technical characteristics of the system itself.

In this talk, I will introduce the notion of responsibility modelling, which aims to represent the responsibilities of human and automated agents in a complex system, where the system may be created by integrating different systems from different agencies. The motivation for the work is that many ‘system failures’ are actually failures of agents in the system to fulfil their expected responsibilities and so responsibility modelling offers the opportunity to analyse how responsibilities are distributed and to identify responsibility vulnerabilities, before these lead to system failure.

Bio

 Ian Sommerville has been Professor of Computer Science at St Andrews University since 2006. For more details see http://www.software-engin.com.

Event details

  • When: 13th February 2012 14:00 - 15:00
  • Where: Cole 1.33
  • Series: CS Colloquia Series
  • Format: Colloquium

Workshop on Computational Logic in honour of Roy Dyckhoff

The University of St Andrews is hosting a 2-day workshop on Computational Logic in honour of Roy Dyckhoff, who has retired this year.

The workshop will be held in Parliament Hall at the University of St Andrews on November 18-19, 2011, and is very generously sponsored by the SICSA Modelling and Abstraction Theme.  Topics include Proof Theory, Natural Deduction, Verification, Combinatory Logic and Semantics.

More details, including the programme can be found at: http://www.lix.polytechnique.fr/~lengrand/Events/Dyckhoff/index.php?page=programme

Attendance at the workshop is free to SICSA researchers, but we do ask you to register through the web site so that we can arrange catering.

Event details

  • When: 18th November 2011 - 19th November 2011
  • Format: Workshop