Lawrence Paulson, Professor of Computational Logic, has been elected a new fellow of the Royal Society.
The Royal Society is a self-governing Fellowship made up of the most eminent scientists, engineers and technologists from the UK and the Commonwealth. Fellows and Foreign Members are elected for life through a peer review process on the basis of excellence in science.