Professor Daniel Kroening Awarded a Wolfson Research Merit Award
26th 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: http://royalsociety.org/news/2013/new-wolfson-research-merit-awards/