University of Surrey

Professor Helen Treharne, Head of Department of Computer Science

Helen is the Head of Department of Computer Science and a Reader in the Department. Her established research interests lie in the areas of formal modelling of access control policies and railway verification. She has been awarded a Royal Academy of Engineering/Leverhulme Trust Senior Research Fellowship during 2013-2014 to continue to examine the model checking of railway interlocking systems.

Recently, she has been involved in an exciting multi-disciplinary project which is developing a mobile application and using augmented reality in museum spaces. Building on the success of the project she has been awarded follow on funding to continue development and collaboration with Watts Gallery, Compton, the Lightbox, Woking and Visit Surrey. Some of the project team is featured in a YouTube video describing the project.