We congratuate Dr Matt Leeke, who was commended for his teaching in the Warwick Awards for Teaching Excellence this year. Matt is a module organiser for CS132 Computer Organisation and Architecture, CS240 Software Engineering Principles, and CS257 Advanced Computer Architecture.

We also congratulate Robert Bird who was commended in the WATEPGR awards. Robert has taught on more than 10 modules in his time at the university, including being invited to teach outside of his department. He is known for his ability to build strong relationships with students to encourage them in their learning.

This year's awards have been one of the most successful ever. Record numbers of nominations were received from staff, students and alumni, which resulted in over 70 individuals being nominated for the hard work they put into their teaching.

Full list of WATE 2014 winners

Full list of WATEPGR 2014 winners

Warwick and King’s College London, in partnership with New York University, plan a major initiative in collaboration with the GLA and the London Borough of Southwark to launch 'CUSP London', a branch of NYU’s Center for Urban Science and Progress, to be based at Canada Water from 2018. The announcement was made on Monday 17 June 2014 by Boris Johnson, Mayor of London, at an event organised by Bloomberg to mark the start of London Technology Week.

London will be the first city to build upon the success of CUSP in New York, which was launched in April 2012 by Mayor Bloomberg and of which Warwick is an academic partner. In developing CUSP London, the partners will benefit from the experience in New York City, where CUSP is now established as a leader in the new field of urban science and informatics.

Professor Nigel Thrift, Vice-Chancellor of Warwick commented: "I welcome the launch of CUSP London, both as a researcher of the dynamics of cities, and as Vice-Chancellor of Warwick which is a partner both in the CUSP London initiative and the original CUSP in New York. CUSP London will be a significant engine of applied urban science research, innovation and education that will work with London as a living laboratory applying research to the needs of our capital and to other great cities."

CUSP London will bring together researchers, businesses, local authorities and government agencies to apply urban science to improving public health and wellbeing. It will draw on the real experience and ‘big data’ available in cities, thereby using the cities themselves as living laboratories to tackle their most significant issues. CUSP London will complement the MedCity initiative which the GLA recently launched with King’s and other academic partners, and the Mayor of London’s Smart London plan.

Experts at CUSP London will use data to develop deeper understanding and practical solutions to a wide range of challenges affecting people’s everyday lives. The international partnership will also train a new generation of postgraduate and PhD level urban scientists with the skills and knowledge to benefit London and other major UK and global cities.

Professor Sir Richard Trainor KBE, Principal of King’s, commented: "If we are to tackle the increasingly complex challenges facing London and other cities, we need initiatives like CUSP London. It will train a new generation of urban scientists, and harness expertise, research insights and big data from across the public and private sectors in order to enhance health and efficiency in increasingly populated and fast changing cities."

It is anticipated that CUSP London would generate around 180 construction jobs for two years, and once fully operational, to accommodate around 100 researchers and 500 students. CUSP London will seek development funding from public, industry and philanthropic sources.

Steve Koonin, Director of New York University’s Center for Urban Science and Progress, said: "We are delighted to welcome London to the CUSP family. We are honored by their strong support of our work and the steps taken to build on our successes in New York City. Our New York team stands ready to work with Kings College and the University of Warwick as the CUSP model is expanded abroad."

Ebrahim Ardeshir-Larijani has passed his PhD viva and his thesis has been approved, subject to minor corrections. His thesis is titled "Automated Equivalence Checking of Quantum Information Systems". Quantum information processing is an emerging technology and verification of quantum protocols is important for the design and development of quantum communication and cryptographic systems. Ebrahim's thesis presents languages (sequential and concurrent) for describing quantum systems and techniques for checking equivalence. The work has resulted in two joint papers (with Simon Gay and Rajagopal Nagarajan) in good conferences, TACAS 2013 and TACAS 2014.

Ebrahim was supervised by Dr. Ranko Lazic and Prof. Rajagopal Nagarajan, the external examiner was Dr. Ross Duncan (Strathclyde) and his internal examiner was Dr. Jane Sinclair.