Could your car be used to spy on you?


In the not-so-distant future, cars won’t require a human driver anymore. They will drive autonomously, and you will be their passenger. However, these vehicles will also need to know your location, and, in some cases (e.g. for taxis and car rentals), your identity. Consequently, your movements might be tracked.

How do you feel about your car collecting such private data?

Tell us what you think!  Please complete the online survey here.

The survey is completely anonymous. The record of your survey responses will not contain any identifying information about you, such as your name or e-mail address.

If there are any additional questions or comments, please email Tobias Meyer or Prof Saleem Bhatti.

Thank you very much for your help and support!

Watch some video, win a Netflix or Amazon voucher


Tell us what you think of our videos and you could win a £20 Netflix or Amazon voucher!

You will be asked to watch and assess the video quality of four 1-minute online video clips, as well as complete a short questionnaire related to your regular video usage and your energy-saving awareness and preferences. Your participation should take around 20 to 30 minutes.

Optionally, you will be entered into a prize draw for a £20 Netflix or Amazon voucher.

You must be 18 years or over.

Please contact Oche Ejembi <>

UTREC approval code: CS12016

Contact Details

Researcher: Oche Ejembi

Supervisor: Prof. Saleem Bhatti


WWWho do you trust?



Who do you trust online?

Come and help us to work out how you decide to trust web sites!

You will need to complete a computer-based survey (in the Physics Library or in the School of Computer Science) in which you will rate how you perceive the trustworthiness of several websites.

Total participation time is less than 15 minutes.

At the end of the survey you can be entered into a prize draw for one of three Amazon or iTunes vouchers.

Volunteers have to be at least 18 years of age.

After the study, all volunteers will be sent a briefing on how they can improve their online security.

Please email John ( if you wish to take part or have any further questions.

Contact details:
Researcher: John Heenan

Supervisor: Professor Saleem Bhatti

UTREC approval code: CS11909


Spot the difference?



Do you have a discerning eye for video? If so, we need your help as a volunteer in our study!

Volunteers will be asked to watch 7 video clips of 10 seconds each. Each clip will be viewed 3 times, and then again at a different distance. After each video clip, you will choose which clip (if any) you perceived to have different quality and why. All video clips are suitable for viewing by people of 12 years and older. Volunteers have to be at least 18 years of age.

Please email Bence ( if you wish to take part or have any further questions.

Contact details:
Researcher: Bence Szabo

Supervisor: Professor Saleem Bhatti

UTREC approval code: CS11878

Type-driven Verification of Communicating Systems in Idris

Speaker: Edwin Brady

Abstract: Idris ( 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. Type checking is equivalent to formally and mechanically checking a program’s correctness. Introductory examples of programs verified in this way typically involve length preserving operations on lists, or ordering invariants on sorting.

Realistically, though, programming is not so simple: programs interact with users, communicate over networks, manipulate state, deal with erroneous input, and so on. In this talk I will give an introduction to programming in Idris, with demonstrations, and show how its advanced type systems allows us to express such interactions precisely. I will show how it supports verification of stateful and communicating systems, in particular giving an example showing how to verify properties of concurrent communicating systems.

Bio: Edwin Brady is a Lecturer in Computer Science at the University of St Andrews. His research interests include programming language design, in particular type systems and domain specific languages. He leads the design and implementation of the Idris programming language, a general purpose functional programming language with dependent types, which he uses to implement verified domain specific languages. When he’s not doing that, he’s likely to be playing a game of Go, wrestling with the crossword, or stuck on a train somewhere.


Event details

  • When: 7th April 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Enterprise NoSQL in the BBC

Hear why MarkLogic was chosen as the 2012 Olympic website content store to ingest, store and deliver the data and content assets to the BBC¹s mobile app and thousands of web pages.
Speaker: Paul Preuveneers, Director, Sales Engineering, MarkLogic

Paul Preuveneers has more than 9 years of development experience with MarkLogic, with expertise in running software teams as well as spearheading the European office of MarkLogic UK. Paul Preuveneers joined MarkLogic from Elsevier Science, where he led the Agile Development Team, working on leading edge products including the many CONSULT sites and the main strategic site. Trained in Extreme Programming and Agile Techniques, Paul has been on the forefront of many of the most innovative applications using MarkLogic in Europe. Prior to Elsevier Science, Paul held positions at Action Information Management and gained his Bsc in Computer Science at Southampton University.

Event details

  • When: 16th September 2014 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar