The University of Southampton

Best student paper prize for ECS PhD student

Published: 
27 July 2007
Illustration

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.

Share this article FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×