Professor Don Sannella of the Laboratory for Foundations of Computer Science has been elected fellow of the Royal Society of Edinburgh.
The Royal Society of Edinburgh an educational charity, registered in Scotland, operating on a wholly independent and non-party-political basis and providing public benefit throughout Scotland.
The society was established in 1783 and currently has more than 1500 fellows, who are based in Scotland, the rest of the UK and beyond.
Fellowship includes people from a wide range of disciplines - science & technology, arts, humanities, social science, business and public service.
Candidates for Fellowship are nominated by existing Fellows. Each candidature undergoes a rigorous five-stage annual selection process which culminates in a ballot of the whole Fellowship. The ballot result is announced in March each year.