Miscellaneous
I am also member of the Avispa Research Group
Erdos Number: 5
Check Who's who on the web in Formal Methods
Notable Graduates and former Faculty (List of University of Edinburgh people)
Some current and former LFCS selected members
History and University rankings (Edinburgh University in wikipedia)