Professor Daniel Kroening Awarded a Wolfson Research Merit Award

26 April 2013

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: