BCS Lovelace Medal to Samson Abramsky

Happy Easter news for the TCS community. Samson Abramsky is being awarded the British Computer Society (BCS) Lovelace Medal for 2013. (The press release is here.) The BCS Lovelace Medal was established in 1998 in honour of Lady Augusta Ada Byron, Countess of Lovelace and daughter of Lord Byron. The Medal is presented annually to individuals who, in the opinion of BCS, have made a significant contribution to the advancement of Information Systems.

Quoting Samson,

It is particularly pleasing that this award recognizes work of a highly foundational character, and shows the commitment of BCS to support the study of computing not only for its manifold applications, but as a fundamental scientific discipline in its own right.

As the press release states, Samson

is pre-eminent in setting the modern agenda in the foundations of computer science, an area where he has made immense contributions since the 1980s. His contributions in each of the past three decades had a major impact on the field, notably: Domain Theory in Logical Form, Game Semantics and Categorical Quantum Mechanics. He has shown the ability to change research fields and to establish new interdisciplinary approaches.  His work over the past decade has shown that methods and concepts developed in theoretical computer science can be applied very directly in quantum information, and the foundations of quantum mechanics itself.

Another recent example of application of methods from "volume B TCS" to other fields is in this short paper, where Samson and Wiktor Winschel apply coalgebraic and other structural methods originating from computer science to economics and game theory.

Congratulations to Samson!