Professor Philip Wadler, senior research fellow at IOG and key figure in development of several notable programming languages, has been elected fellow of Royal Society