Awards and honours

Larry Paulson has been made a Fellow of the ACM for his contributions to theorem provers and verification techniques.

The ACM Fellows Program was established in 1993 to recognize and honour outstanding ACM members for their achievements in computer science and information technology and for their significant...

Oliver Woodman scooped first prize, at the East of England Hub regional poster competition for postgraduate researchers. Oliver's poster, "Pedestrian Localisation for Indoor Environments", was also runner-up at the University of Cambridge Computer Laboratory's Show and Tell event in September 2008.

...

Robert Harle and Oliver Woodman received the best paper award for ‘ Pedestrian Localisation for Indoor Environments ’ at the 10th International Conference on Ubiquitous Computing (UbiComp).

The UbiComp conference is a premier international venue in which novel results in the area of ubiquitous computing are...

Congratulations to Silvia Breu who has been awarded a €5000 Anita Borg scholarship for the 2008–2009 academic year.

Nearly 300 undergraduate and graduate students from more than 31 countries applied for the award. Of the 63 finalists selected, 20 received a scholarship.

Another Computer...