I obtained my PhD at University of Edinburgh in formal verification and automated reasoning. My research interests are Automated reasoning, program verification and software engineering.
Useful Links:
Useful Links:
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:
Linggle - Language reference search
Tools
Matrix Calculus (python and latex)