NEWS

Dr Jade Alglave named as winner of prestigious Royal Society award

23 February 2015

Dr Jade Alglave (UCL Computer Sciences) has been named as the winner of the Brian Mercer Award for Innovation by the Royal Society,

The award funds researchers to build on their concepts to bring new ideas to market, and aims to promote links between the academic community, business and industry.

Dr Alglave’s research into multiprocessor technology has led to the development of .cat, a standard verification format for hardware chips.

Multiprocessors by ARM, AMD, IBM, Intel, or NVidia are found in devices ranging from smartphones to supercomputers, cars to aeroplanes. Programming software to run on multiprocessors is a form of concurrent programming, where multiple computations are executed during overlapping time periods. Sadly, due to the great number of possibleoutcomes of a given program, concurrent programming is error prone and “buggy”, and difficult to test.

Dr Alglave has developed a tool to test and model proprietary hardware which ensures that software runs consistently across a range of platforms, reducing delays and costs caused by errors and inconsistencies.

Professor David Price, UCL Vice-Provost (Research) said:

“I’d like to extend my congratulations to Dr Alglave for her award. Innovative research is at the heart of UCL and Dr Alglave’s work will enable the development of pioneering new technology.”

Professor John Shaw Taylor, head of UCL Computer Science said:

 ‘I am immensely proud of Jade and her success in ensuring her deep theoretical work and understanding is directed so precisely at a pressing problem facing the computer industry. This exactly aligns with our maxim of experimental computer science: fundamental work that addresses real-world problems and delivers practical solutions.’

The Brian Mercer Awards were established in 2001 to support research into the built environment, clean technology and energy, electrotechnology and nanoscience.

Two ponies. The pony on the left is computed with an Intel CPU and doesn’t look buggy, the one on the right is computed with an Nvidia GPU and looks buggy. This is because the one on the right is computed using an Octree that uses a message passing idiom.

Two ponies. The pony on the left is computed with an Intel CPU and doesn’t look buggy, the one on the right is computed with an Nvidia GPU and looks buggy. This is because the one on the right is computed using an Octree that uses a message passing idiom. Images computed by Tyler Sorensen, UCL Computer Science.

 

Share on FacebookShare on Google+Tweet about this on TwitterShare on LinkedInPin on PinterestShare on Tumblr
Latest news from UCL Engineering
UCL Engineering wins prestigious teaching award.
Tissue-Engineered Nerve Solution Awarded £1M Through EPSRC Healthcare Technologies Challenge Grant
BBC and UCL launch major partnership to unlock potential of data