Computer Science News
Dr Alex Silva awarded prestigious Leverhulme Trust Award
The Leverhulme Trust has announced the winners of the 2016 Philip Leverhulme Prizes, which includes Dr Alex Silva, Senior Lecturer at UCL Computer Science and member of the Programming Principles, Logic and Verification Research Group.
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
Geography: Dr Vanesa Castán Broto, Development Planning Unit, The Bartlett and Dr David Thornalley, Department of Geography
Languages and Literatures: Dr Lily Okalani Kahn, Department of Hebrew and Jewish Studies