I obtained my PhD at University of Edinburgh in formal verification and automated reasoning. I am a post-doc researcher in the Systems Research Group at the University of St Andrews. My research interests are cloud computing, automated reasoning and program verification.
General research advises:
The researcher's bible by Alan Bundy and others.
Useful advice on how to read a paper by S. Keshav
A research methodologies course by UoE
Academic writing resources: