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…
Abstract: Most of us might agree that ‘hands-on learning’ is good for children in the early years. But why? Is it simply more fun and sociable, or are there any more direct cognitive benefits? And what determines…
Abstract: This talk will cover a wide range of issues in the practical aspects of delivering software projects, including cohesion and coupling, design patterns, software engineering models, and native vs. hybrid apps.…
Abstract: In this presentation, we’ll explore the ways in which Bloomberg uses functional programming to solve financial problems. In particular, we’ll focus on the challenges involved in the development of the…
Abstract: Garbage collection is no longer an esoteric research interest. Mainstream programming languages like Java and C# rely on high-performance memory managed run time systems. In this talk, I will motivate the…
Abstract: Some of the world’s most important industries are intrinsically grounded in the physical world, yet their interaction with it is still almost completely manual. Converge is a young startup, forged in the…
The School of Computer Science is delighted to welcome Alan Mislove from Northeastern University Boston to give his talk on ‘Measuring Personalization of Online Services Abstract: Today, many web services personalize…
The School of Computer Science are delighted to welcome Pam Briggs from Northumbria University, Newcastle who will deliver her talk on Trust and Engagement. Abstract: Patients now generate a significant amount of…
The School of Computer Science welcomes the opportunity to hear from Dr Changyu Dong, from the Department of Computer and Information Sciences University of Strathclyde, who will be delivering his talk on ‘Efficient…
Speaker: Edwin Brady Abstract: Idris (http://idris-lang.org/) is a general-purpose programming language with an expressive type system which allows a programmer to state properties of a program precisely in its type.…