Professor Muffy Calder, Professor of Formal Methods in the Department of Computing Science is one of 60 new Fellows to be elected to the Royal Academy of Engineering.

The announcement was made at the Annual General Meeting of the Royal Academy, with the new Fellows being recognised for their achievements and contribution to the profession.

Read the rest of the article at: http://www.gla.ac.uk/news/headline_285012_en.html while Biographies of the new Fellows are available at: http://www.raeng.org.uk/about/fellowship/newfellows.htm