Congratulations to Dr Alex Silva, Senior Lecturer at UCL Computer Science and member of theProgramming Principles, Logic and Verification Research Group who has been awarded on of the 2016 Philip Leverhulme Prizes,
Philip Leverhulme Prizes have been awarded annually since 2001 in commemoration of the contribution to the work of the Trust made by Philip Leverhulme, the Third Viscount Leverhulme and grandson of William Hesketh Lever, the founder of the Trust.
The prizes recognise the achievement of outstanding researchers whose work has already attracted international recognition and whose future career is exceptionally promising.
In 2016 the Trust offered 5 prizes in each of the following subject areas Archaeology; Chemistry; Economics; Engineering; Geography; and Languages and Literatures. Each of the 30 Prize Winners receives £100,000 which can be used over two or three years to advance their research.
Dr Alex Silva’s award recognises her research on semantics of programming languages and modular development of algorithms, partly drawing on coalgebra, a mathematical framework established in recent decades.
UCL’s full list of 2016 winners is:
Economics: Professor Uta Schönberg, Department of Economics
Engineering: Dr Alexandra Silva, Department of Computer Science
Languages and Literatures: Dr Lily Okalani Kahn, Department of Hebrew and Jewish Studies