Colloquium

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 … Idris: Verified Systems Programming with Dependent Types by Edwin Brady

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 … Responsibility Modelling by Prof Ian Sommerville

In this talk we will introduce how new mobile base station architectures are evolving not only to meet demand but also to become “greener” since at current rates of deployment, mobile networks are becoming very large CO2 contributors. These new base station architectures are also becoming enablers for new Radio Access Networks (RANs) where the … Evolution of Radio Access Networks: Lighting up IQ by Francisco J. Garcia, Agilent Technologies

Abstract: In Capability and Wellbeing, Sen (1993) says that acting freely and being able to choose may be directly conducive to wellbeing, not just because more freedom may make better alternatives available, but because the action of choice is itself a freedom. This talk reflects on three projects with older people and considers their sense … Design, Agency and a Sense of Wellbeing by Ann Light

Abstract The human visual system is extraordinary powerful, but it is not a perfect seeing device. In this talk I will use the example of binocular vision to explore visual processing. I will describe some of the biology of the binocular visual system, some of the limitations that the biology presents, and I will describe … Quantifying human vision: perception of depth and shape by Julie Harris

Abstract Despite Moore’s “law”, uniprocessor clock speeds have now stalled. Rather than using single processors running at ever higher clock speeds, it is common to find dual-, quad- or even hexa-core processors, even in consumer laptops and desktops. Future hardware will not be slightly parallel, however, as in today’s multicore systems, but will be massively … ParaForming: Forming Parallel Haskell Programs using Novel Refactoring Techniques by Prof Kevin Hammond

Abstract: Opportunistic networks provide an ad hoc communication medium without the need for an infrastructure network, by leveraging human encounters and mobile devices. Routing protocols in opportunistic networks frequently rely upon encounter histories to build up meaningful data to use for informed routing decisions. This seminar presents work showing it is possible to use pre-existing … Friendlists, Followers and Contacts: Using Self-Reported Social Networks to Improve Opportunistic Networks by Gregory Bigwood

Abstract: I describe a mathematical systems modelling framework that is motivated by a desire to represent and reason about properties of (large-scale) systems situated in dynamic environments. Motivated by the concepts of distributed systems theory, the framework has at its core mathematical treatments of environment, location, resource, and process, and comes along with a separating … Systems and Security Modelling: From Theory to Practice (Really) by Professor David J. Pym