Best student paper prize for ECS PhD student

Letu Yang, a PhD student in the Dependable Systems and Software Engineering group, won the prize for Best Student Paper at the Communicating Process Architecture conference.

Letu's paper, 'JCSProB: Implementing Integrated Formal Specifications in Concurrent Java', was written with his supervisor Dr Mike Poppleton. The paper presents a development strategy and tool support for constructing concurrent Java programs from combined B and CSP formal specifications in the ProB tool.

The Communicating Process Architecture (CPA) conference is an annual international academic conference on the development of concurrent systems for both software and hardware. This year's event was held at the University of Surrey and included an invited presentation from Turing Award winner, Professor Tony Hoare.

Letu said: 'I was very nervous before my presentation since it was the first time I had presented at a conference like this. But it generated a lot of discussion afterwards, and I was very pleased to be awarded the prize for Best Student Paper on the final day, including a bottle of 12-year old malt whisky!'

Letu is pictured here, second from the right.