DLS: Formal Modelling and Analysis of Deployed Systems by Prof Muffy Calder

Title
Formal Modelling and Analysis of Deployed Systems

Professor Steve Linton and Dr Adam Barker with Professor Muffy Calder.

Professor Steve Linton and Dr Adam Barker with Professor Muffy Calder.

Abstract
Formal methods are traditionally used for specification and implementation in a waterfall model. In contrast, I am interested in formal models of concurrent, interactive systems that may/may not be in software, and   may already be deployed, i.e. they are systems to be observed.  Can formal models and reasoning expose how a system actually works?  Can formal models and reasoning suggest improvements based on how a system is actually used?

In these talks I will investigate these questions through case studies, from biochemical signalling pathways, to wireless home networks and (shock horror) mobile app games.

Biography
I have been at the Department of Computing Science, University of Glasgow since January 1988. Until 2012 I was Dean of Research in the College of Science and Engineering and Senate Assessor on Court and before that I was Head of Department of Computing Science for four years, from 2003 to 2007. I currently work for the Scottish Government 60% of the time, as the Chief Scientific Adviser. Continue reading

Event details

  • When: 8th April 2013 10:30 - 16:30
  • Where: St Andrews
  • Series: Distinguished Lectures Series

System Seminar: A Framework for Maintaining Artefact Consistency During Software Development, by Ildiko Pete, University of St Andrews

Abstract:

Software systems are subject to evolution: they may be in a state of change at any given time during their existence until they are phased out. A system is typically associated with a variety of artefacts, which are products of the various activities involved in its development.

In practice, software artefacts evolve at different paces. Modifications applied to one artefact may not necessarily get reflected in another related artefact. This differential evolution of software artefacts may result in inconsistency among artefacts, eventually leading to problems with maintenance and software aging. Therefore, the management of software evolution must also cater for artefact consistency. Although incremental practices provide a more flexible solution for handling changes during software development, they do not explicitly address artefact consistency.

This talk will provide an overview and evaluation of the state of the art in managing consistency of software artefacts during software evolution. It will also propose new research directions to solve outstanding problems in the area.

Bio:

Ildiko started her PhD with Dr Dharini Balasubramaniam at the end of October last year. Before coming to St Andrews, Ildiko obtained an MSc degree in Applied Computing at the University of Dundee and had briefly worked in industry in both Scotland and Hungary.

Event details

  • When: 26th February 2013 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Teaching Fellow in Computer Science

The School of Computer Science are seeking applications for a Teaching Fellow in Computer Science

Applications are invited for a Teaching Fellowship in the School of Computer Science. In the first instance, at least, this is a fixed-term position of three years with a start date May 2013. We require a Teaching Fellow to assist with the development and delivery of high quality, innovative teaching at undergraduate level. Applicants should have at least a BSc in Computer science, preferably a PhD, and previous lecturing and tutorial experience at undergraduate level. Preferably they should also be able to demonstrate ability to deliver a range of core Computer Science courses in classroom, laboratory and small-group tutorial environments; experience in the development of innovative material for learning and teaching; and/or experience of contributing to pedagogical studies in the sciences. The post may be particularly appropriate for someone with recent experience in the secondary education sector.

Information on how to apply.

School Seminar: Programs that Write Programs – Is that Interesting?- by Prof Ron Morrison, …with many ideas from…

This seminar is suitable for CS3053-RPIC

A talk by Prof Ron Morrison …with many ideas from:

Dharini Balasubramaniam, Graham Kirby, Kath Mickan – University of St Andrews, Brian Warboys, R. Mark Greenwood, Ian Robertson, Bob Snowdon – University of Manchester and technologies developed by some of the above and Alfred Brown, Al Dearle, Richard Connor, Quintin Cutts, David Munro and Stuart Norcross – University of St Andrews.

Continue reading

Event details

  • When: 25th February 2013 15:00 - 16:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium

School Seminar: HCI in Health Care by Jill Freyne -ICT Centre,CSIRO

 Abstract
Obesity, poor diet and lifestyle and the associated health care costs are set to cripple the governmental budgets of most Western countries over the coming decades. The facts of the equation are simple. Energy intake must exceed energy output for weight loss, and living within a healthy weight range has a host of benefits. Most communities understand and acknowledge the facts, but despite their understanding continue to live lifestyles that endanger them in the long term. In this talk Jill Freyne will walk us through two case studies for online and mobile dietary interventions and examine the power and weaknesses of the technology in the fight to engage and sustain individuals in lifestyle change.

Event details

  • When: 3rd May 2013 15:00 - 16:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium, Seminar

Confessions of a start-up founder

Prof Simon Dobson will be giving a lecture for CS3053 about his experience as founder and CEO of a start-up company spun-out of a university. This will focus on the business aspects — getting the company started, running it, growing, funding it, and eventually winding it down — rather than on the technology, and try to extract some lessons from what went right (and wrong).

Event details

  • When: 11th February 2013 14:00 - 15:00
  • Where: Maths Theatre C
  • Format: Lecture

A new Interaction Paradigm for Distributed User Interfaces by Prof. Dr. Harald Reiterer, University of Konstanz

This seminar is suitable for CS3053-RPIC

Abstract:

Distributed User Interfaces (DUIs) are typically used in ‘Interactive spaces’ which are physical environments or rooms for collaborative work that are augmented with ubiquitous computing technology. Their purpose is to enable a computer-supported collaboration between multiple users that is based on a seamless use of different devices for natural ‘post-WIMP’ interaction, e.g., multi-touch walls, interactive tabletops, tablet PCs or digital pen & paper. However, to this day, there are still no well-established guidelines or toolkits for designing and implementing such distributed user interfaces (DUIs). Therefore the talk will introduce the Zoomable Object-Oriented Information Landscape (ZOIL), a novel design & interaction paradigm and software framework for post-WIMP DUIs in interactive spaces. Continue reading

Event details

  • When: 11th March 2013 15:00 - 16:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium, Seminar

Virtual Worlds for Immersive Learning

Alan Miller and Ishbel Duncan are running a special session at CSEDU 2013 (in May in Aachen) on using Virtual Worlds for learning. Levels of learning, applicable learning theories, student interaction, avatar interaction, learning contexts and evaluation are all open for discussion.
The due date for papers is February 27 2013 and more information can be found on
http://www.csedu.org/SpecialSessions.aspx#VWIL