Professor Daniel Kroening, Fellow in Computer Science, has been awarded a Royal Society Wolfson Award for Program Analysis with Abstract Satisfaction.
The awards are given to support respected scientists of outstanding achievement and potential.
Further information can be found by following this link: http://royalsociety.org/news/2013/new-wolfson-research-merit-awards/